That is more or less what we always planned. For the server that only deals with io ports, call it /servers/ioperm.
_______________________________________________ Bug-hurd mailing list [email protected] http://lists.gnu.org/mailman/listinfo/bug-hurd
