Gala altimeter on Juice runs RTEMS 4.8 https://www.dlr.de/en/research-and-transfer/projects-and-missions/juice/the-gala-altimeter