- LynxSecure
The [http://www.lynuxworks.com/virtualization/hypervisor.php LynxSecure separation kernel] for
X86 virtualization is a native (bare-metal)hypervisor intended for use inembedded systems and high-assurance security applications.Within LynxSecure partitions run instances of virtualized operating systems, which are assigned virtual address space for hardware protection. A fixed-cyclic ARINC 653-based scheduler manages CPU time to prevent starvation in any partition, although dynamic scheduling policies can also be implemented.
The LynxSecure separation kernel conforms to the MILS architecture (Multiple Independent Levels of Security/Safety) and its policies of data isolation, damage limitation and information flow.
Wikimedia Foundation. 2010.