Hacker News new | ask | show | jobs
by deterministic 4 days ago
We already have. See seL4.