We purchased and received the docking station with control card, part number TMDSDOCK28343. I loaded the code composer studio and the controlSUITE folders onto my computer and tested some examples and created a new project. TI provides all the header files for the compiler, and the processor, but I could not find a specific header file for the control card. I think the card part number is TMDSCNCD28343.