Interesting article from The Register on Friday about alternative kernels. As per the article, the topic of other kernels surface again after #Linux developers continue to clash over certain tech like Rust, SystemD, and bcachefs.
The three kernels discussed are Managarm, Asterinas, and Xous. Until stumbling across this article today, I've not heard of any of them. I guess I have some reading ahead of me. The article also mentioned the idea of disgruntled devs possibly forking the Linux kernel - a fascinating and probably confusing experience for a lot of people.
Would certainly be an interesting thought experiment, now giving a valid reason to explicitly list the userland and kernel with which OS you happen to be using, ie Debian GNU/Fork-this, openSUSE GNU/Linux, Gentoo GNU/Asterinas, or whatever.
It also might just be easier and more straightfoward to use #FreeBSD instead. 🤷♂️
https://www.theregister.com/2025/09/12/three_new_microkernels/?td=rt-3a