logoalt Hacker News

pclmulqdq • yesterday at 8:26 PM • 1 reply • view on HN

The ones that use an OS generally use seL4 these days.

Replies

andai • today at 12:01 AM

Thanks. "OS considered harmful" is a satisfying answer, too!