Re: Working on stuff / statement from tschwinge (was: Gnumach clean: Need advice, re Header files)

--===============1533672511==
Content-Type: multipart/signed; micalg=pgp-sha1;
	protocol="application/pgp-signature";
	boundary="=-bNoelmAoCFuev9mhko+5"


--=-bNoelmAoCFuev9mhko+5
Content-Type: text/plain
Content-Transfer-Encoding: quoted-printable

I think Roland's email was a little over-hasty, to be sure.  Let's just
not fret about one message that was over-hasty and import too much to
it, ok?

As for the technical issue, Roland is mostly but not entirely right
about what gnumach/include is for.

It has both the interface files, and pseudo-clones of C library headers,
which don't get installed because the C library has better versions.  In
that category are <sys/types.h>, <sys/time.h>, <sys/reboot.h>,
<sys/ioctl.h>, <mach/mig_support.h>, <mach/mach_traps.h>,
<mach/error.h>, and <alloca.h>, by my count.

By putting such headers in gnumach/include, the relevant kernel code is
easier to understand, because the user will expect that the file named
<alloca.h> or <sys/types.h> does more or less what the normal C library
file does, and calling those <kern/alloca.h> or <kern/types.h> would
make the reader have to wonder or remember what they are.

It would not be inappropriate to put <string.h> there too, since it
serves the same sort of function.  However, <printf.h> does not belong
there, and belongs in whichever directory holds the relevant functions.

Thomas


--=-bNoelmAoCFuev9mhko+5
Content-Type: application/pgp-signature; name=signature.asc
Content-Description: This is a digitally signed message part

-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1.4.5 (GNU/Linux)

iD8DBQBFU3hwqMsB9b6fcOoRAplOAJwNNHPn7bgTMbBDzbd4DcQbKSF+7QCgzT7d
0o7QiYYW6hQwfRB7/W0Cekg=
=/mYn
-----END PGP SIGNATURE-----

--=-bNoelmAoCFuev9mhko+5--






--===============1533672511==
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

--===============1533672511==--