Ask HN: Software and programming languages on the Mars Perseverance mission

What software and programming languages are being used for the various systems on the Perseverance mission to Mars? What are the design principles and mission constraints that have influenced the choices that have been made?