On Mon, 11 Dec 2000, Eric Seppanen wrote:

> But I'm assuming you're going to want _normal_ reboots to work as well,
> and shouldn't that mean that machine_restart() should be fixed up?
> Otherwise, you have to hack init, which seems like a waste of time.

yeah, you're right. Another patch to linux :-)

ron


Reply via email to