3 ms·

Gentoo and Debian both had (have?) support for what they call "Debian/kFreeBSD" or "Gentoo/kFreeBSD" The kernels are FreeBSD but userland is all GNU as far as

Gentoo and Debian both had (have?) support for what they call "Debian/kFreeBSD" or "Gentoo/kFreeBSD" The kernels are FreeBSD but userland is all GNU as far as I understand it? I'm not sure how well supported they are, or if anyone ever used them beyond proof of concept

boring_twenties 7y ago
Debian/kFreeBSD has been discontinued for years. https://www.debian.org/ports/kfreebsd-gnu/ https://www.debian.org/ports/kfreebsd-gnu/