LynxSecure

From Wikipedia, the free encyclopedia
Jump to: navigation, search
LynxSecure
Type Hypervisor
License Proprietary software
Website www.lynx.com/products/hypervisors/lynxsecure-separation-kernel-hypervisor/lynxsecure-major-capabilities/

LynxSecure is a Type 1 Hypervisor and separation kernel from LynuxWorks which utilizes system virtual machines to provide hardware virtualization for embedded systems built on multicore x86 architecture.

LynxSecure supports paravirtualized Linux and LynxOS real-time operating systems, as well as full virtualization of the Windows operating system.

LynxSecure is built to conform to the MILS (Multiple Independent Levels of Security) architecture so that virtualization can be used in embedded systems with requirements for high assurance.

By default, LynxSecure uses an ARINC 653-based fixed-cyclic scheduler to manage processing time, but dynamic scheduling policies are also permitted.