5 ms·
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
by anon49124 8y ago
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.
- 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.