3 ms·

Sure, but my point is: You need seL4 underneath to build a system with actual capabilities. Nothing else can be trusted. (and non-seL4 would be slower, anyway

by snvzz 4y ago

Sure, but my point is: You need seL4 underneath to build a system with actual capabilities. Nothing else can be trusted. (and non-seL4 would be slower, anyway ;)