Re: [PATCH] Operating system independence; Hurd Port.

[Andrew Clausen]

OKUJI Yoshinori wrote:
> Hurd is a part of GNU. So if you just say GNU, it should mean GNU/Hurd
> operating system. (IMO, it would be better to rename device_linux.c to
> device_linux_gnu.c, but this name is too long to type in...)

I disagree.  It isn't a port to an operating system, it is a port to
a kernel.

The name of the kernels are Hurd and Linux.

Andrew Clausen

_______________________________________________
Bug-hurd mailing list
[EMAIL PROTECTED]
http://mail.gnu.org/mailman/listinfo/bug-hurd