Perhaps I can even change GNU Mach so this becomes the default behaviour and you can use an argument to switch to the old behavior.
Please don't. A option that makes GNU Mach halt is ok, the default should be "quick reboot". Does someone think such patch would be useful? Yes. But only if the current behaviour is left as default. _______________________________________________ Bug-hurd mailing list [EMAIL PROTECTED] http://mail.gnu.org/mailman/listinfo/bug-hurd