I recently downloaded the CCS and SDK for the launch kit. I'm following the C2000 getting started instructions and when I go into Resource Explorer and look for my device I get "Go to Board: Not available". I tried the get started example but it tells me to go into driverlib and select my device but it is not listed. Is there somewhere that lists the exact downloads needed to operate this device?