Like its predecessor, the new version:
- offers certification to Common Criteria ISO/IEC 15408 Evaluation Assurance Level (EAL) 4+
- supports adaptive partitioning, an efficient form of time partitioning that prevents software processes from being starved of CPU cycles
- supports symmetric multiprocessing (SMP) on multi-core processors
To find out more about the secure kernel, click here.