I helped develop the C&DH flight software for IRIS, CMU’s Lunar Rover. The flight software uses NASA JPL’s F-Prime flight-software framework on top of FreeRTOS. The C&DH is a TI Hercules Safety-Microcontroller.