2 ms·
> If something like Minix 3 "NetBSD" in Rust ran on seL4, that would inspire more confidence. Yeah, I've been thinking about that for a while. There is Genode/
by microcolonel 8y ago
> If something like Minix 3 "NetBSD" in Rust ran on seL4, that would inspire more confidence.
Yeah, I've been thinking about that for a while. There is Genode/seL4, but it's hard to say if it makes as much sense.