Supported standards

POK is compliant with the following standards:

$\bullet$

ARINC653

$\bullet$

MILS

To achieve standard compliance, POK relies on a minimal API that provides few canonical services. These services then interact with the kernel to interact with other nodes/processes.