Re: Do we want a server on `/servers/machine' (or similar)?
Roland McGrath <[email protected]> Wed, 9 May 2007 12:35:03 -0700 (PDT)
| Newsgroups | gmane.os.hurd.devel.readers |
|---|---|
| Message-ID | <20070509193503.569441C0B5__1389.47555465183$1178739398$gmane$org@topped-with-meat.com> |
That is more or less what we always planned. For the server that only deals with io ports, call it /servers/ioperm.