[snapplebobapple]

Why would that be? To me it doesn't seem that interesting vs going to an l4 type kernel that is mathematically verified secure in various operations.

[flossly]

I think C is hard for newcomers. Zig/Rust have a better story there.