> > What should we use instead of serverboot.gz? > > gnumach.gz, i hope
No. ext2fs.static and exec. _______________________________________________ Help-hurd mailing list [EMAIL PROTECTED] http://mail.gnu.org/mailman/listinfo/help-hurd
> > What should we use instead of serverboot.gz? > > gnumach.gz, i hope
No. ext2fs.static and exec. _______________________________________________ Help-hurd mailing list [EMAIL PROTECTED] http://mail.gnu.org/mailman/listinfo/help-hurd