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.
We try to make a very clear documentation for our users. We include a documentation in PDF in the release so you have the documentation that corresponds to the release you download.
We also provide on-line documentation in HTML and PDF format.
The user manual describe POK and explain how to use it (crosstools installation, …). It also details its use with AADL models. We provide a PDF and HTML version.
The kernel reference manual contains a documentation generated by doxygen. This manual is included in each release as a PDF file in the doc directory.
You can also read it online
The libpok reference manual contains a documentation generated by doxygen. As the kernel reference manual, it is included in each release in PDF format.
You can read online:
The POK project is developed as a research project for the design of safe and secure systems from architectural descriptions (AADL models and our work around Ocarina). There is a list of published papers about POK: