4 ms·
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.
by snapplebobapple 4mo ago
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 4mo agoI think C is hard for newcomers. Zig/Rust have a better story there.