3

Introducing LynxSecure 2.0 Separation Kernel and Embedded Hypervisor for High-Assurance Systems

view full story
linux-howto

http://www.lynuxworks.com – Technology supports EAL-7 evaluation, integrates multiple applications at different security levels on a single piece of silicon and consolidates hardware for security and separation. (Embedded)