I recently installed CCS 6.01 (previously using CCS 5.3) so as to target the Tiva TM4C123 devices. When creating a new SYS/Bios project, an error message was shown under the RTSC configuration settings, "None of the currently selected products supplied the Target..."; same results when selecting XDCTools version 3.24.5.48 or 3.30.5.60. Also the Target and Platform are empty.