Quoting from the LynuxWorks official announcement:
Raising the bar for embedded software security and safety once again, LynuxWorks, Inc., today announced LynuxWorks’ LynxSecure, the first embedded separation kernel with multiple independent levels of security (MILS), on Intel’s Virtualization Technology.
…
LynxSecure supports Symmetric MultiProcessing (SMP) and 32-bit/64-bit addressing for high-end scalability. LynxSecure will be certifiable to both Common Criteria EAL 7 and DO-178B level A, and its separation technology puts it in a unique place to attain these certifications…