Rebooting 4.2BSD on a 780

[Chris Torek]

Uh, I think the idea was to boot from something other than /vmunix
so that if the machine crashed immediately, it would re-reboot the
old kernel.  Useful if you're doing things from home, or any other
reason that the console is physically distant.

Perhaps what we should do is make /boot try to read /newvmunix
first, then if that fails read /vmunix (or to make the code smaller
how about /vmnuxi? :-) ).
-- 
In-Real-Life: Chris Torek, Univ of MD Comp Sci Dept (+1 301 454 4251)
UUCP:	seismo!umcp-cs!chris
CSNet:	chris at umcp-cs		ARPA:	chris at maryland