Flight control system firmware for the SFWA CPU board DSP (TMS320C6657) and CPLD (EPM1270)