I'm trying to configure LAUNCHXL-F28379D's CPU1 frequency.
I tried
InitSysPll(INT_OSC2,IMULT_20,FMULT_1,PLLCLK_BY_2);
and
InitSysPll(INT_OSC1,IMULT_20,FMULT_1,PLLCLK_BY_2);
Then I tried printing in the loop,
while (1) {
printf("%d\n", i);
i++;
}
But I see that its printing slower than 16Mhz Arduino. Is above code supposed to bring CPU speed up by itself or do I need something else?