14 ms·Like Linux? ;)by andai 4mo agoLike Linux? ;)pclmulqdq 4mo agoI think you might be surprised that Linux is generally not involved in safety-critical systems. There is a whole separate ecosystem for those applications.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!