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