Welcome on POK homepage

POK is a partitioned kernel compliant with partitioned standards and initiatives such as ARINC653 or MILS. It provides strong isolation services to separate partition in term in space and time. It has a fine-grained confguration and each resource or functionnality can be tuned. Moreover, it could be used and configured by hand or code generation from AADL models. This website describes the project and details the use of the kernel.

• What is POK ?. This page describes the project and our approach to build safe and secure systems.
• Design of POK: explain our assumptions and our design choices.
• Learn more about the two main parts of POK : the pokkernel and libpok. POK is splitted into two main parts: the POK kernel and the libpok. The POK kernel manages partitions whereas libpok provides functionnalities to manage resources inside the partition.
• The Supported architectures page indicates what architectures are supported by POK
• Verifications made on system that use POK. This page describes the verifications we made on the system to enforce security and safety requirements.

• Install required software (cross-compiler, emulator and so on). POK requires a lot of software to work. This page details what software are needed and how you install them.
• POK is released under the POK licence. You have to accept it before using the software.
• You will find information to download POK on this page.
• Configure pok and libpok. POK is a minimal kernel that needs a fine-grained configuration.
• The Basic Usage page explains a basic usage of POK to understand how you can use POK.

• POK tools are important programs in the POK toolchain. They are used to verify and build partitioned systems from architectural models (with the AADL language).

• The developpers page indicates what are the people involved in POK.
• POK is not a complete project and remains in a work-in-progress state. However, this page describes the different modules of POK and their current state
• For curious people that want to browse the source code of POK, we explain the source code hierarchy
• Finally, we have in mind many improvements. This page explains some improvements we want to make in the future.

• We use mailing lists to discuss between users and developers. You can contact use using these lists to give us our feedback or just ask questions.
• POK can contain bugs we wrote by our own. However, we want to avoid bugs and we will fix them as soon as possible. If you find one of them, please report it.

• Many projects or standards are closed to POK. You will have a complete list of related work here
• A traditional links page.
• This is a useless bullet.