Hacker News new | ask | show | jobs
by still_grokking 1251 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.