What is POK?
POK is a real-time embedded operating system for safety-critical systems such as the one used in aerospace, avionics or nuclear applications.
POK relies on a micro-kernel that isolates device drivers and partitions in time and space so that no application can overrun its resources budget.
POK has been used in several research project and one fork is now used in commercial aircrafts.
Open Source Support
Open Source support is done through github. You can open a new issue (or browse existing and resolved issues) on the github issue tracker.
Reblochon Development Company provides commercial support for POK. You can contact them directly for further information.