http://pok.gunnm.org/ 2010-09-06T10:41:56+02:00 http://pok.gunnm.org/ http://pok.gunnm.org/lib/images/favicon.ico text/html 2010-03-26T22:34:43+02:00 Julien Delange http://pok.gunnm.org/pokdocumentation?rev=1269639283&do=diff There are a set of slides about different topics around POK : system specification, code generation and so on. Does not hesitate to contact us for more information about these documents. * [Introduction to the POK project] * [The ways to specify system requirements (either by AADL or XML files] * [Code Generation patterns used by Ocarina to generate code that targets POK Operating System] * [Validation and Certification tools for POK] * [Overview of the POK Operating System] text/html 2010-03-18T17:09:40+02:00 Julien Delange http://pok.gunnm.org/news?rev=1268928580&do=diff * 03/18/2010: We are currently improving the code coverage of pok and libpok. Generated examples would be covered up to 80%. Thanks to the couverture project and the xcov tool. * 12/20/2009: The ARINC653 layer is now available for Ada, thanks to Laurent Lec ! * 12/19/2009: A port on LEON3 is currently in progress and would be working soon. Thanks to Fabien Chouteau ! * 12/10/2009: POK snapshots are back ! You can download them on <http://pok.gunnm.org/snapshots>. Last POK snapshot is avai… text/html 2010-01-13T16:07:12+02:00 Julien Delange http://pok.gunnm.org/testingleon3?rev=1263395232&do=diff First, download the tsim simulator on the gaisler website. Then, when you configure POK, it should detect if tsim is in your PATH variable. If everything is fine, the make run command target in generated example would invoke tsim with the appropriate arguments. text/html 2009-12-22T10:50:28+02:00 Julien Delange http://pok.gunnm.org/wikibuildleontoolchain?rev=1261475428&do=diff This has been done on Linux. At this time, the SPARC toolchain does not work on Windows. The target is sparc-elf. So, you have to build binutils and gcc for this target. First, build and install binutils. Then, compile gcc. It has been tested with the following versions : text/html 2009-12-21T18:25:15+02:00 Julien Delange http://pok.gunnm.org/wiki?rev=1261416315&do=diff This is the wiki space of POK. This wiki contains unofficial informations about POK. Public access is allowed and users can add their own relevant information to help the POK community. * Build the toolchain for PPC/Prep * Build the toolchain for SPARC/LEON3 * Testing the LEON3 port * French installation guide text/html 2009-12-21T17:04:21+02:00 Julien Delange http://pok.gunnm.org/integratedexample?rev=1261411461&do=diff [Integrated avionics case-study] To demonstrate that we can use POK for real avionics architecture, we use an AADL model made by the Software Engineering Institute and converts it to make it working with Ocarina and POK. You can find the original model on this page. text/html 2009-12-21T16:49:53+02:00 Julien Delange http://pok.gunnm.org/milsexample?rev=1261410593&do=diff [MILS case study architecture] This case study defines a distributed architecture with two nodes: * One node executes three partition, each of them has a different security level * One node executes two partitions, one has topsecret and secret security level and the other has the unclassified security level.