POK is a real-time embedded operating system for safety-critical systems (avionics, aerospace and so on). It provides several functionalities and complies with many industrial standards, such as ARINC653 or POSIX. POK was designed to be used in safety-critical systems as well as in public systems. Clone from http://svn.tuxfamily.org/viewvc.cgi/pok_pok/trunk/ (version r47)