Linux no es el único kernel para distribuciones GNU/Linux aunque sí el más habitual y popular, tanto que se confunden ambos términos. Debian, por ejemplo, tiene soporte para el kernel kFreeBSD desde hace un tiempo.
Pero ahora añade este kernel a su rama inestable y experimental, de forma que los usuarios podrán elegir qué núcleo instalan, si Linux o kFreeBSD. Como dice Slashdot, “Debian se convierte así en el primer gran sistema operativo con soporte a dos núcleos completamente diferentes al mismo tiempo.”
El anuncio, en las listas de Debian