News

Commercial support

We provide commercial support through our expert network on safety-critical website. You can contact us on the following address, describe the type of support you would like to get. You can also contact us directly the POK community by using this link.

Documentation

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://download.tuxfamily.org/pok/snapshots/pok-userguide-current.pdf.

HTML version of the current document can be found here : http://pok.safety-critical.eu/snapshots/pok-userguide-current/.

Previous versions can be found at hhttp://download.tuxfamily.org/pok/snapshots

Bugreport

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

Mailing-List

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

Subscribe to developer mailing list

To subscribe to the developer mailing list, send a mail with the subject SUBSCRIBE to the following mail address: pok-devel-request AT lists dot tuxfamily dot org.

Subscribe to the user mailing list

To subscribe to the developer mailing list, send a mail with the subject SUBSCRIBE to the following mail address: pok-request AT lists dot tuxfamily dot org.

List archives

The archives of the mailing lists are available here:

 
support.txt · Last modified: 2012/05/10 16:09 by julien