4 ms·The ones that use an OS generally use seL4 these days.by pclmulqdq 4mo agoThe ones that use an OS generally use seL4 these days.andai 4mo agoThanks. "OS considered harmful" is a satisfying answer, too!