QNX Neutrino RTOS Secure Kernel
The QNX® Neutrino® RTOS Secure Kernel delivers the OS that companies creating aerospace, defense and security systems need to be able to meet the stringent safety and security requirements of mission-critical applications.
In addition to the field-proven reliabilty of the standard QNX Neutrino RTOS, the QNX Neutrino RTOS Secure Kernel provides different privilege levels for different applications, mediation to verify all accesses, and a mechanism for resource protection.
For more information, visit http://www.qnx.com/products/neutrino-rtos/secure-kernel.html