HN
Hacker News
Top
New
Best
Ask
Show
Jobs
Comment by pclmulqdq | Hacker News Reader
Parent
Full thread
pclmulqdq
·
The ones that use an OS generally use seL4 these days.
View on HN
andai
·
Thanks. "OS considered harmful" is a satisfying answer, too!
Reply on news.ycombinator.com