Since partitions can also be written in Ada, an ARINC653 Ada layer - APEX - is available. It is just a binding to the C implementation which files can be found in libpok/ada/arinc653.
Although the binding is complete, Health monitoring, Module schedules and a few other functions are not yet available in the C API.
Simply use with APEX.xxx in your source to use the xxx ARINC module.