Services

Websites

• pok.safety-critical.net

  Déplacement du site de pok.safety-critical.eu vers pok.safety-critical.net

• pok.tuxfamily.org

  Website for POK, migration from pok.safety-critical.net

• pok.safety-critical.eu

  Website of the POK project, a free kernel compliant with the ARINC653 standard.

SVN Repositories

• pok/pok

  Subversion repository for the source code of POK.

Mailing Lists

• lists.tuxfamily.org/pok

  Discussion about POK project and related technologies (partitioned systems, hypervisors, etc.)

• lists.tuxfamily.org/pok-devel

  Technical discussions and user support for the POK project.