SYSGO's PikeOS separation kernel has been certified according to Common Criteria EAL 3+ and is currently the only real-time operating system worldwide that holds a CC certification for its separation performance.