3 ms·
Gentoo added support for BSD kernels at some point, but it wasn’t a switch, and didn’t see much use as far as I know.
by mikl 7y ago
Gentoo added support for BSD kernels at some point, but it wasn’t a switch, and didn’t see much use as far as I know.
- IntelMiner 7y agoGentoo 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 agoDebian/kFreeBSD has been discontinued for years. https://www.debian.org/ports/kfreebsd-gnu/ https://www.debian.org/ports/kfreebsd-gnu/