Subject: Re: '/dev/reload'
To: David Forbes <dmf20@hermes.cam.ac.uk>
From: None <seebs@plethora.net>
List: current-users
Date: 03/08/1999 11:29:06 
In message <Pine.SOL.3.95q.990308172403.7617A-100000@red.csi.cam.ac.uk>, David 
Forbes writes:
>I'm assuming that a reboot would cause the machine to revert to it's
>normal kernel?

That's my understanding.  The other nice thing is that you can skip 30 seconds
or so of BIOS probing and fussing.  :)

-s