In the (near) future old gnumach drivers will be replaced with the oskit drivers. So I suggest you have a look at oskit-mach instead of gnumach.
wagi -- Daniel Wagner "Don't drink and derive." email: [EMAIL PROTECTED] GnuPG: 1024D/DCDE890A (public key available on any keyserver) _______________________________________________ Help-hurd mailing list [EMAIL PROTECTED] http://mail.gnu.org/mailman/listinfo/help-hurd
