What is the QNX Neutrino RTOS Secure Kernel?
The secure kernel is a specific version of the QNX Neutrino RTOS that has been officially tested and certified to meet Common Criteria ISO/IEC 15408 standards EAL 4+. QNX Software Systems recommends this secure kernel only for customers that require Common Criteria certification for their end product.