LynxSecure
| Type | Hypervisor |
|---|---|
| License | Proprietary software |
| Website |
www |
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.
| ||||||||||||||||||||||||||||
This article is issued from Wikipedia - version of the Saturday, June 14, 2014. The text is available under the Creative Commons Attribution/Share Alike but additional terms may apply for the media files.