Hello RTI team :)
We are considering the porting of RTI Connext Micro to an ARINC-653-like platform called XtratuM. It is an open source hypervisor designed for real-time embedded and high integrity systems. Although it does not follow a specific standard, its design is based on ARINC-653 so it provides the applications executing on top of it with time and space isolation. It allows the execution of different operating systems (e.g., a general purpose OS, a real-time OS, or an ARINC-653 OS).