I want to use the TMDSDSK6416-T from Spectrum Digital with TI Code Composer Studio (CCS) v5.2 on Linux. When I create a new target configuration in CCS and select "Spectrum Digital XDS510USB Emulator", there is no option for the C6416-T chip, so I have been unable to compile for the target. Is this configuration supported on Linux? Where do I find instructions and drivers to do this?