What's eyebrow-raising is that it's been used as para/virtualization platform for Linux. (Ordinarily, SELinux MLS/MCS is pretty good though.)
If something like Minix 3 "NetBSD" in Rust ran on seL4, that would inspire more confidence.
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.