The LynxSecure Hypervisor ("bare metal," type 1) and separation kernel, released in 2005, makes full virtualization and paravirtualization of multiple guest operating systems possible in high-assurance embedded systems.
The LynxSecure Hypervisor ("bare metal," type 1) and separation kernel was released in 2005. Full virtualization and paravirtualization of multiple guest operating systems was possible in high-assurance embedded systems.