Header file for initialization of Texas Instruments 320TMSc6713 DSP Starter Kit Extremely useful for people working on DSPs