LynxSecure is a tiny separation kernel that can be programmed to partition a modern processor into secure virtual environments. It is not RTOS. It is not a traditional hypervisor. It is smaller than a microkernel (as small as 15Kb). LynxSecure requires and leverages the hardware virtualization capabilities of certain modern CPUs to (1) establish secure isolated partitions (unique, static virtual machines); and (2) to strictly control information flows between these virtual machines. Think of LynxSecure as a programmable processor partitioning system.
Brought to you by: