LynuxWorks is shipping version 2.0 of its Linux-compatible separation kernel and hypervisor for high assurance systems. Aimed at multiple independent levels of security (MILS) applications in the aerospace, government, and defense industries, LynxSecure 2.0 offers enhancements including improved multi-processor support and a lightweight POSIX run-time environment, says the company.
Announced in February, LynxSecure 2.0 is primarily targeted at military applications, but can also be used in multi-domain secure systems applications within the medical, financial services, and industrial control industries, says the company. The separation kernel is certified to the U.S. Defense Department's Common Criteria EAL-7 (Evaluated Assurance Level 7), and complies with the aerospace industry's DO-178B certification, says LynuxWorks.
http://www.linuxlinks.com/portal/news/article.php?story=2008111913372890