Subject: Re: Kernel debugger docs...
To: Michael L. VanLoon -- Iowa State University <>
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