"LynuxWorks says it will ship a new super-high-security operating system in July, 2005 that was designed to meet the very highest levels of military certification. The LynxSecure Separation Kernel will run BlueCat Linux and LynxOS-178 applications within ultrasecure user-mode partitions, LynuxWorks says.
"According to LynuxWorks, LynxSecure was designed for certification to Common Criteria EAL-7 (Evaluated Assurance Level 7), a level of certification unattained by any known OS to date..."