PolyORB-HI/C is a high-integrity middleware. It provides core middleware constructs, and must be used in conjunction with code generation from AADL models by Ocarina.
It is written in C99, and is compatible with the following APIs: RT-POSIX (Linux and OS X), RTEMS, FreeRTOS, Windows, Xenomai and XtratuM.
The recommended installation process is through the proper configuration and installation of Ocarina, see Ocarina documentation for details.