Euclid uses RTEMS 4.8 https://www.esa.int/Science_Exploration/Space_Science/Euclid