Explore the challenges and opportunities of using Linux in space applications in this conference talk by Antoine Certain from Airbus Defence and Space. Discover how the space industry is shifting towards commercial off-the-shelf (COTS) hardware components and operating systems, particularly in massive constellation projects. Learn about the safety and qualification issues that arise from this new paradigm and how the ELISA project aims to address them. Delve into the implementation of Linux monitoring using heterogeneous multiprocessing (HMP) targets like Xilinx Zynq Ultrascale plus. Understand the architecture for verifying safety properties in Linux systems for space applications, including shared memories and watchdog mechanisms. Gain insights into the future of Linux in orbit and the ongoing efforts to enable its use in critical space missions.