This the first time we’ll be flying Linux on Mars. We’re actually running on a Linux operating system.
Funny, I’ve always assumed all the software powering NASA’s Mars rovers was running on Linux. Turns out they’re mostly running on VxWorks (from wikipedia’s comparison of embedded computer systems on board the Mars rovers)
Unfortunately, I think Linux isn’t that good at hard realtime applications yet, which I imagine you’d really want for a rover.
This is somewhere that I hope the seL4 microkernel would eventually take over. It’s GPLv2, formally verified for security and reliability, and has a sound worst-case execution-time (WCET) analysis.
That’s cool. Too bad that only on a “play” project with no real scientific value like this helicopter they are allowed to innovate like that.