[Top][All Lists]

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

Re: A matter of manners

From: Daniel Martin
Subject: Re: A matter of manners
Date: Sat, 24 Sep 2005 16:04:40 +0100

On Sat, 2005-09-24 at 12:18 +0200, Bas Wijnen wrote:
> > with the consequence that no 
> > other car manufacturer can name their car a Focus. So if you refer to the 
> > car as a Focus, it is implicated in the inforamtion that it is a Ford. 
> This is an interesting point.  There is AFAIK indeed no other operating system
> which uses the Linux kernel, so people who say they use Linux are almost
> certainly using a (modified) GNU operating system.

Well Linux is used in embedded systems without GNU quite a lot isn't it?
Also in the future a very strange person may choose to port a BSD to run
on top of Linux and create BSD/Linux. (I assume this is not done because
either the BSD guys disapprove of the GPL or they consider Linux
inferior to their own kernel.) This alone I feel is a good reason not to
use the word `Linux' to mean anything other than Linus and co's kernel.

> > In the same way there are just two operating systems available from Debian, 
> > and now I am using the full formalism, Debian GNU/Linux and Debian 
> > GNU/HURD. Debian GNU/Linux has versions as an added specification, but I am 
> > unaware of any version numbring for Debian GNU/Hurd.
> The architecture is hurd-i386.  Currently there are no other plarforms for
> Hurd supported by Debian.  The linux-based versions don't have the kernel name
> in front (it's not "linux-amd64", but just "amd64") for historical reasons.
> Currently they're moving the kernel-* packages to linux-*, but AFAIK there are
> no plans yet to move the version names of the OS.

I just wanted to add that as far as I know there are 3 operating systems
available from Debian rather than 2. You've missed Debian GNU/kFreeBSD.
(I suppose there's GNU/kNetBSD but that's dead AFAIK.)

Actually one could argue that there is only one operating system
available from Debian. - GNU. And that Debian provides it's users with a
choice of kernel. Although it's slightly more complicated than that.



reply via email to

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