How to see clock speed?

One way to confirm your CPU frequency is to add this small code snippet to your code in main before you run BIOS_start():

#include <xdc/runtime/System.h>
#include <xdc/runtime/Types.h>
#include <ti/sysbios/BIOS.h>
...
int main(void)
{
    Types_FreqHz freq;
    ...
    BIOS_getCpuFreq(&freq);
    System_printf("hi: %d, lo: %d", freq.hi, freq.lo);
    System_flush();
    ...
}

It should print out your CPU frequency to the console.

How are you using delays? Are you using Task_sleep or Clock module functions?

They are both used by the clock module.

Here is a small snippet from the BIOS API guide about the frequency struct:

typedef struct Types_FreqHz {
    Bits32 hi;
    // most significant 32-bits of frequency
    Bits32 lo;
    // least significant 32-bits of frequency
} Types_FreqHz;

Can you post the code you are using for your delays?