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

Re: kernel-* package names

On Wed, Feb 06, 2002 at 12:24:27PM -0400, Ben Armstrong wrote:
> On Wed, Feb 06, 2002 at 05:13:55PM +0100, Luca - De Whiskey's - De Vitis wrote:
> > "kernel is Linux" sounds to me as mail-reader is mutt, editor is vim,
> > programming language is... C-- (Yes, I used a restricted version of C
> > for an university exam :> ) etc.
> > How many holy wars will start now? None, i hope: it's only an example :)
> Unlike those examples, once you've decided which kernel to use for a given
> Debian system, you can't just arbitrarily switch.  I would argue
> internal consistency of names is all that is important for the user.

As already pointed out, you can with microkernels. If the shared
libraries have the same ABI it is possible to use the same binary both
on GNU/Hurd and GNU/Linux for example. (Both use glibc, so it's
possible in theory) The BSDs also have Linux emulation AFAIK. So I
think switching is at least partly possible.
> > We should use names with their meaning, and not mislead users. On the
> > other hand we should show users the real diversity of the world we
> > offer: many kernels, in this case.
> Users won't be misled.  If I install Debian GNU/Linux and fetch a
> package called kernel-whatever, it is self-evident that it is for Linux,
> and not for hurd or bsd.  It is internally consistent.

But those kernel-whatever things also show up in Debian GNU/Hurd and
will show up in Debian GNU/BSD. That's a problem which has been
ignored for years. There is already some proposal to make the
architecture handling better. See 
http://master.debian.org/~brinkmd/arch-handling.txt. Both Debian
GNU/Hurd and Debian GNU/BSD would like to see that implemented.

> Renaming kernel-* to linux-* (or kernel-linux-*) is principally a
> political issue, not a technical one. 

It's both political and technical.

Jeroen Dekkers
Jabber supporter - http://www.jabber.org Jabber ID: jdekkers@jabber.org
Debian GNU supporter - http://www.debian.org http://www.gnu.org
IRC: jeroen@openprojects

Attachment: pgp_S2s9UGXIl.pgp
Description: PGP signature

Reply to: