It boots on real hardware (hk kernel) (github.com)

Passes 100% of userland tests, supporting 99% of linux syscalls (though very few filesystems!)

I'd be curious how this compares to the straight Linux kernel, as well as other kernels. Even basic metrics like KLOC would be interesting.

If no one gets to it, I'll drink a pot or three of coffee and publish it myself.

I disapprove of anything less than GPLv3 and I have apprehensions towards anything hyped (like Rust) but boy a new kernel is badly needed, in fact an entirely new FOSS ecosystem