MMX rover: Launch scheduled for 2026 uses RTEMS 4.11 on top the Xtratum hypervisor: https://elib.dlr.de/194474/