Philipp Eppelt, TU Dresden, Germany

The Partitioned Operating System Kernel (POK) provides the opportunity to collocate embedded system application on the same hardware in a safe and secure manner. It supports ARINC 653, MILS and other standards. A system running in a software partition on POK would inherit the benefits of these standards. Hence, developers can benefit from the experience with RTEMS applications and build an ARINC 653 compliant system. Our project's goal is to run partitions featuring RTEMS applications next to standard POK applications. Therefore RTEMS needs to support virtualized hardware and POK must be extended with the capability to multiplex or deny hardware requests.

The project is part of the Google Summer of Code program and is supported by the RTEMS and POK community. In this paper we will describe POK and RTEMS, explain the virtualization layer connecting both systems and outline how to build a partition featuring another operating system.