[ Thanks to Jason
Greenwood for this link. ]
“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…”