A few days ago, I watched Perseverance being launched towards Mars.
I know that there is lots of very specific hardware embedded into the rover, so, very likely, there has been software written by NASA (or for NASA), to make measurements, communicate et cetera.
It would be very odd, to just have self-written software running this advanced technology - I guess there is some kind of operating system kernel being used to schedule tasks, manage resources and run all the software on the rover.
Which kind of kernel do they use? Is it some kind of RTOS or a Linux kernel?