Debian GNU/kFreeBSD is an operating system from Debian, but which uses the kernel of FreeBSD instead of the Linux kernel.
Оригинал этой записи. Комментировать можно тут или там.
no subject
И -- политическое -- возможность использовать в ядре что бы то ни было с лицензией отличной от GPL
Upd: http://wiki.debian.org/Debian_GNU/kFreeBSD_why
no subject