Hacker News new | ask | show | jobs
by gpcz 1251 days ago
SeL4 uses capability-based security, but unfortunately it's not in common use.
1 comments
still_grokking 1250 days ago
seL4 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.

link