LynxSecure is a separation kernel and embedded hypervisor that provides an environment in which multiple guest operating systems and their applications can execute at the same time, in their own virtual partitions, without compromising security, reliability or data integrity