POK is a real-time embedded operating system for safety-critical systems. It isolates applications and drivers in time and space. It is compliant with POSIX and ARINC653.

The kernel was designed to be very small and targets full verification/certification: more than 90% of the kernel code if covered.