Es un RTOS de características completas, certificado en norma ISO/IEC 15408 EAL 4+.