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

[Marcus Brinkmann]

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.

No, the Hurd is a set of servers running on the GNU Mach microkernel.
Together they build the core of the GNU operating system.
The canonical name of the system is "gnu", for example "i386-gnu" for
the ix86 variant.

Please stick with the canonical name for the system.

Thanks,
Marcus