Recently I built a new platform for an SYS/BIOS project. On the Edit Platform page (see below) it list the Clock Speed as one of the device details. How is this value used by SYS/BIOS? Is the value the external XTAL clock connected to the CPU or after the internal PLL? What is the relationship between this value and the tick timer value in the Task_sleep() BIOS call?
Using CCS V4.2.4, SYS/BIOS v6.32.5.54 , XDCTools v3.22.4.46