Hacker News new | ask | show | jobs
by mcdonje 25 days ago
seL4 is an operating system that uses capabilities