Lynx Software Technologies is world leader in secure virtualization and open and reliable real-time operating system (RTOS). The company's LynxOS family of RTOSes offers open standards with the highest level of safety and security features, enabling many mission-critical systems in defense, avionics, industrial and other industries. The latest product in the product portfolio, the award winning LynxSecure, offers a secure separation kernel hypervisor that forms a virtualization platform for securing both embedded and IT systems. Since it was established in 1988, Lynx Software Technologies has created technology that has been successfully deployed in thousands of designs and millions of products made by leading communications, industrial, transportation, avionics, aerospace/defense and consumer electronics companies.
There are no discussions here currently, but as they appear they might have answers you need.