> grub> root(hd0,5) > > grub> kernel /boot/gnumach.gz device=/dev/hd0s6 > > grub> module /boot/serverboot.gz > > grub> boot > > > This will do
serverboot is being phased out. Do not use it. _______________________________________________ Help-hurd mailing list [EMAIL PROTECTED] http://mail.gnu.org/mailman/listinfo/help-hurd
