← PikeOS: Multi-Core RTOS for IMA - Modern avionics