I used Linux Libre kernel for a bit - honestly surprised at how well most things still worked? The biggest downside seems to be Wi-Fi drivers - except for that one Atheros card, none of the modern Wi-Fi cards will work without Linux firmware blobs

RedoxOS! There’s been solid progress too, beyond just having a functional microkernel, they have many of the userspace tools/their version of coreutils, even a desktop environment already mostly implemented!

My understanding is that it shouldn’t be too bad to port some other things over as well. The main issue I had was just the lack of drivers, especially since it’s still tricky even on Linux, and the microkernel architecture (though more secure) also means there’s no way to reuse any of those from Linux