Re: Do we want a server on `/servers/machine' (or similar)?
Thomas Schwinge <[email protected]> Fri, 11 May 2007 00:06:58 +0200
| Newsgroups | gmane.os.hurd.devel.readers |
|---|---|
| Message-ID | <20070510220658.GF21031__42427.3139950403$1178835065$gmane$org@fencepost.gnu.org> |
--===============1540560777== Content-Type: multipart/signed; micalg=pgp-sha1; protocol="application/pgp-signature"; boundary="qoTlaiD+Y2fIM3Ll" Content-Disposition: inline --qoTlaiD+Y2fIM3Ll Content-Type: text/plain; charset=us-ascii Content-Disposition: inline Hello! On Wed, May 09, 2007 at 12:35:03PM -0700, Roland McGrath wrote: > That is more or less what we always planned. Good. Have such things been written down somewhere? > For the server that only > deals with io ports, call it /servers/ioperm. Fine, but are you in fact suggesting to have separate server for i/o ports and memory access? I would have stashed those two interfaces (as well as any others?) into one single server. On Wed, May 09, 2007 at 09:54:22AM -0700, Thomas Bushnell BSG wrote: > I don't much like the name /servers/machine; so let's figure out > something better. Names like that persist forever, so it's actually > more important than it might seem to get them right from the get-go. I completely agree. I didn't like that name myself, but couldn't easily come up with a better one, so posted that one more or less as a placeholder. Now, if Roland suggests to separate the i/o port and memory access interfaces then we could (for example) simply have the suggested `/servers/ioperm' and a `/servers/mem' (or `/dev/mem'? -- but our thing is more advances than the usual Unix system's `/dev/mem' is, so we'd rather put it into `/servers/', I think). Do we want separate servers? Regards, Thomas --qoTlaiD+Y2fIM3Ll Content-Type: application/pgp-signature; name="signature.asc" Content-Description: Digital signature Content-Disposition: inline -----BEGIN PGP SIGNATURE----- Version: GnuPG v1.4.2.2 (GNU/Linux) iD8DBQFGQ5eCgfzh735dTTURAoYeAJ4nG6LWaS4hExizrFepxxqzsOV03QCdEtE2 sm5Zu6fNr0ThvZpZHkqupNM= =VAiJ -----END PGP SIGNATURE----- --qoTlaiD+Y2fIM3Ll-- --===============1540560777== Content-Type: text/plain; charset="us-ascii" MIME-Version: 1.0 Content-Transfer-Encoding: 7bit Content-Disposition: inline _______________________________________________ Hurd-devel-readers mailing list [email protected] http://lists.gnu.org/mailman/listinfo/hurd-devel-readers --===============1540560777==--