Hacker News Reader

SeL4 uses capability-based security, but unfortunately it's not in common use.

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.