3 ms·What do they use for that? BSD?by andai 4mo agoWhat do they use for that? BSD?pclmulqdq 4mo agoThe ones that use an OS generally use seL4 these days.andai 4mo agoThanks. "OS considered harmful" is a satisfying answer, too!