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
Passes 100% of userland tests, supporting 99% of linux syscalls (though very few filesystems!)