3 ms·
are you aware of https://muen.sk https://muen.sk? Not L4, but that wouldn't be secure enough anyway...
by pgeorgi 8y ago
are you aware of https://muen.sk https://muen.sk? Not L4, but that wouldn't be secure enough anyway...
- snvzz 8y agoI'm muen-aware, but I favor https://sel4.systems/ https://sel4.systems/. seL4 isn't a random L4, it does capabilities and has more complete proofs than muen.