> Is anyone using serverboot anymore? If not, then it could maybe be > removed.
serverboot is still handy if you're not using GRUB, but e.g. mkmbimage with netboot or mklinuximage or suchlike (to have only one thing to paste in there). _______________________________________________ Bug-hurd mailing list [EMAIL PROTECTED] http://mail.gnu.org/mailman/listinfo/bug-hurd
