> > 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

Reply via email to