I forgot to mention that the kernel should be avaiable at www.update.uu.se/~ams/home/gnumach-1. Though, last time I checked that box was done, but it should be up soon.
_______________________________________________ Bug-hurd mailing list [EMAIL PROTECTED] http://lists.gnu.org/mailman/listinfo/bug-hurd
