configfile (nd)/boot/hurd-l4/menu.lst Problem with that is that you can't share that file with `boot', which is quite a nice thing IMHO.
_______________________________________________ Bug-hurd mailing list Bug-hurd@gnu.org http://lists.gnu.org/mailman/listinfo/bug-hurd
