5 ms·
SeL4 uses capability-based security, but unfortunately it's not in common use.
by gpcz 4y ago
SeL4 uses capability-based security, but unfortunately it's not in common use.
- still_grokking 4y agoseL4 has a different "issue": The actual OS is missing… ;-) seL4 is just the core of a micro kernel. The hard part would be to build an OS around that.
- deleted 4y ago[deleted]