/boot/gnumach.gz = the Gnu-Mach �-kernel , as I understand it. The serverboot.gz has a booting purpose, but which and when?
Thank,You. sigbj-st _______________________________________________ Help-hurd mailing list [EMAIL PROTECTED] http://mail.gnu.org/mailman/listinfo/help-hurd
