> 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

Reply via email to