> In boot, we incorrectly setup the default kernel_command_line. Eh? Isn't the kernel's name part of a real kernel command line?
_______________________________________________ Bug-hurd mailing list [EMAIL PROTECTED] http://mail.gnu.org/mailman/listinfo/bug-hurd
