@joXn thanks for mentioning it! I was about to mention Ingenuity too, as it sits quite close to my heart. A 100% Linux-based helicopter with C++ and Python code (btw the code it runs is even FOSS https://github.com/nasa/fprime) that was supposed to be a PoC turned out to surprise even its own makers.
@blacklight everything that NASA has sent to Mars whose purpose is to move around the landscape has been shockingly robust! not bug-free, either. but designed so that bugs are recoverable events.
(don’t get me started on the SkyCrane, all I end up doing is gibbering incoherently in amazement.)