On 13/08/12 16:54, Stan Hoeppner wrote: > On 8/12/2012 8:46 PM, Richard Hector wrote: > >> > Well, a Debian system doesn't have to use Linux any more. > On 8/12/2012 9:02 PM, John Hasler wrote: >> > There are now Hurd and FreeBSD ports, so Linux is not the only kernel. > No, a Debian install doesn't require the Linux kernel. But it does if > you want a system that actually works.
That doesn't mean it's reasonable to label the whole thing as 'GNU/Linux', though :-) Richard -- To UNSUBSCRIBE, email to debian-user-requ...@lists.debian.org with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org Archive: http://lists.debian.org/5029dda7.7010...@walnut.gen.nz