> What should we use instead of serverboot.gz? gnumach.gz, i hope
_______________________________________________ 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
_______________________________________________ Help-hurd mailing list [EMAIL PROTECTED] http://mail.gnu.org/mailman/listinfo/help-hurd