I wonder if there's a public repository of the kernel source deployed on the helicopter. I'd love to see if any of the code I've contributed just flew on Mars