3 ms·The DoD already uses a commercial microkernel OS called INTEGRITY for various applications.by dialup_sounds 1y agoThe DoD already uses a commercial microkernel OS called INTEGRITY for various applications.