Roland McGrath <[EMAIL PROTECTED]> writes: >> In boot, we incorrectly setup the default kernel_command_line. > > Eh? Isn't the kernel's name part of a real kernel command line?
This is correct. Thus, we are looking at a different bug; in the general case, we only pass options to init when using boot (however, there is nothing stopping us from passing options to init from Grub). Since init uses ARGP_IN_ORDER, it will never process any arguments. I am not sure what the right way to handle this is. _______________________________________________ Bug-hurd mailing list [EMAIL PROTECTED] http://mail.gnu.org/mailman/listinfo/bug-hurd
