logoalt Hacker News

andai • yesterday at 8:14 PM • 1 reply • view on HN

What do they use for that? BSD?

Replies

pclmulqdq • yesterday at 8:26 PM

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

➕ show 1 reply