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

[Erik Verbruggen]

On Fri, Mar 30, 2001 at 12:17:35PM +1000, Andrew Clausen wrote:
> 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.

Not Hurd, but GNUMach then. Hurd is just a bunch of user-space servers
which do no device stuff.

Erik.