#include "pll.h"

int main(void)
{
    int current_cpu_freq = getCurrentCPUFreq();

    setCPUFreq(DEFAULT_XTI_CLOCK*20);
    current_cpu_freq = getCurrentCPUFreq();

    setCPUFreq(MAX_CPU_FREQ_MHZ);
    current_cpu_freq = getCurrentCPUFreq();

    return 0;
}