On Thu, Dec 27, 2007 at 05:38:21PM +0100, olafBuddenhagen@gmx.net wrote: > On Wed, Dec 26, 2007 at 10:17:54PM +0100, Michael Banck wrote: > > Hrm, maybe there was a command-line switch to make Mach halt rather than > > reboot on a panic. > > -H IIRC Can somebody confirm that? We should put it on the wiki or the FAQ then. Michael