"Schyzophrenic" architecture

POK can be used as an executive (i.e a kernel that contains different tasks but does not provide partitioning functionnalities) or a partitioned architecture (a kernel isolates tasks in so-called partitions in terms of space and time).

Moreover, it was designed to support several API and services. But you can finely tune the kernel to avoid unused services, reduce memory footprint and ease certification/verification efforts.

Next sections discusses the different architectures that can be used.