@newt
I know that you hate Rust, but have you seen this: https://www.phoronix.com/news/Redox-OS-COSMIC-Look
With little resources they have, it's surprising that it has a semblance of something working.
Hardware support is severely lacking (namely USB is supported only for input devices, which might not be a bad thing 😏), but at least it seems to have true microkernel design.