← Back to context Comment by andai 1 day ago What do they use for that? BSD? 2 comments andai Reply pclmulqdq 1 day ago The ones that use an OS generally use seL4 these days. andai 1 day ago Thanks. "OS considered harmful" is a satisfying answer, too!
pclmulqdq 1 day ago The ones that use an OS generally use seL4 these days. andai 1 day ago Thanks. "OS considered harmful" is a satisfying answer, too!
The ones that use an OS generally use seL4 these days.
Thanks. "OS considered harmful" is a satisfying answer, too!