A documentation (a PDF file) is available in each POK snapshot, in the doc/ directory. This file contains all instructions to install required tools to build POK and how to compile it. It also provides instructions to build embedded real-time systems from AADL models.

The document is also available online here : http://pok.gunnm.org/snapshots/pok-userguide-current.pdf.

HTML version of the current document can be found here : http://pok.gunnm.org/snapshots/pok-userguide-current/.

Previous versions can be found at http://pok.gunnm.org/snapshots/

You can report a bug to the development team. Please send your bug report by mail at pok-devel at PLZNOSPAM listes dot enst dot fr. We will contact you and keep in touch to fix this bug.

If you have special questions, you can send a mail on our mailing-list. The list pok at PLZNOSPAM listes dot enst dot fr is dedicated to general questions while the list pok-devel at PLZNOSPAM listes dot enst dot fr is dedicated to technical and development questions.

Although we don't have commercial solution around POK at this time, we can provide commercial support on POK. If you are interested by having commercial support, please contact us.