24/07/2012: We just learn that POK was presented at the WCET2012 conference and that the authors of the papers use and modify POK ! Thanks to them and for their (lack of ?) contribution to the project. The paper is available on this website, called “A Time-composable Operating System” and authored by Andrea Baldovin, Enrico Mezzetti and Tullio Vardanega
04/12/2011: POK users: if you plan to use POK with the Ocarina AADL toolsuite, please make sure you use the appropriate toolchain available at the TASTE sources repository, sources and binaries available on TELECOM Paristech are no longer supported. More information in the FAQ, installation instructions are also available here.