LynxSecure Separation Kernel Hypervisor
A virtualization technology designed to support embedded, real-time, safety and security critical solutions. Originally designed and developed to meet the exacting security needs of the Department of Defense (DoD) and deterministic requirements of the avionics community, it provides the ability to concurrently run general-purpose and real-time operating systems on a single computing platform. It is packaged with development and configuration tools that offer real-time and granular control over hardware platform resources for managing guest OS resource allocation, execution scheduling and intercommunication. With support for multi-process, multi-threaded and multi-core environments, it scales from small, embedded systems to large enterprise deployments.