Real Time Linux Workshops
1999 - 2000 - 2001 - 2002 - 2003 - 2004 - 2005 - 2006 - 2007 - 2008 - 2009 - 2010 - 2011 - 2012 - 2013 - 2014 - 2015
15th Real Time Linux Workshop, October 28 to 31, 2013 at the Dipartimento Tecnologie Innovative, Scuola Universitaria Professionale della Svizzera Italiana in Lugano-Manno, Switzerland
Announcement - Call for participation (ASCII) - Hotels - Directions - Agenda - Paper Abstracts - Presentations - Registration - Abstract Submission - Sponsors - Gallery
POK Virtualization Partitions
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.