3 ms·
seL4 is a kernel, not an operating system. Genode builds upon it, which is where my hope currently resides.
by mikewarot 4y ago
seL4 is a kernel, not an operating system. Genode builds upon it, which is where my hope currently resides.
- snvzz 4y agoSure, 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 ;)