Subject: Re: Kernel debugger docs...
To: Michael L. VanLoon -- Iowa State University <michaelv@iastate.edu>
From: Chris G. Demetriou <cgd@postgres.Berkeley.EDU>
List: current-users
Date: 02/26/1994 21:26:11 
> Not only that, but it would be nice to have a command *in* the kernel
> debuger that would simply reboot the system.  Am I missing something?

try this:

call sync
call cpu_reset

------------------------------------------------------------------------------