On Tue 2017-10-10 18:05:15 +0200, Leo Gaspard wrote:
> So we should call FreeBSD “GNU/FreeBSD” instead? Sorry, I could not resist.

Debian actually does ship a "port" that uses the FreeBSD kernel and the
GNU userland, and it calls it GNU/kFreeBSD.


This naming clarity is useful to distinguish it from the FreeBSD
operating system, which uses the FreeBSD userland with the FreeBSD

There is no single userland required for any kernel (though some
userlands do require a specific kernel).  When we're talking about
GNU/Linux distros, we should name them for what they are.



Attachment: signature.asc
Description: PGP signature

Gnupg-users mailing list

Reply via email to