The D.E.N.N.I.S. flight computer's main MCU is the STM32H743, with one Arm Cortex M-7 core. The flight computer will be running an RTOS (real-time operating system) powered by MBed OS. The flight firmware is all the code that runs on-board the D.E.N.N.I.S. and communicates with all the sensors, estimates the state of the rocket, controls the radio (for telemetry), and commands all the I/O of the hardware, including pyrotechnics and LEDs.
All of the flight firmware is written in C++ and we use MIT Enterprise Github for version control. Our testing procedures include unit tests, HOOTL (Hardware Out of the Loop), integration tests, and more. For more info on all of these and how to get started please check out the child pages.