去掉了动态内存分配功能，从而保证了所有操作均能在指定时间内完成。审计和安全工程使得它能够得到NSA的EAL6评级。整个评估目标（Target of Evaluation，TOE）不包括文件系统和网络等，而是集中于内核本身。 其他的操作系统，比如Windows或者Linux，即便被认证在更低等级，但TOE中包括了这些组件。