Spectrum Digital DSK6455 DSP starter kit board, with a Texas Instruments TMS320C6455 DSP (C64 processor core).