QNX Neutrino RTOS Secure Kernel
QNX Software Systems a certifié le micronoyau QNX Neutrino RTOS aux critères communs de ISO/IEC 15408 pour un niveau d'assurance d'évaluation (EAL) 4+, et a commercialisé le produit QNX Neutrino RTOS Secure Kernel 6.4.0 en 2009.
Le QNX RTOS Secure Kernel est le premier OS temps réel à être certifié au standard des critères communs. La certification couvre également le support des multi-coeurs (SMP) ainsi que le partitionnement dynamique.