[Top][All Lists]

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

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

From: Marcus Brinkmann
Subject: Re: [PATCH] Operating system independence; Hurd Port.
Date: Fri, 30 Mar 2001 11:28:47 +0200
User-agent: Mutt/1.3.12i

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.


reply via email to

[Prev in Thread] Current Thread [Next in Thread]