/* Setup the microcontroller system. Initialize the System and update the SystemFrequency variable.  */
void SystemInit(void)
/* Setup the microcontroller system. Initialize the System and update the SystemFrequency variable.  */
void SystemInit(void)
{
	EFC->EEFC_FMR = EEFC_FMR_FWS(2)|EEFC_FMR_CLOE;
	PMC->CKGR_PLLAR = SYS_BOARD_PLLAR;
	while (!(PMC->PMC_SR & PMC_SR_LOCKA)) {
	}
	PMC->PMC_MCKR = SYS_BOARD_MCKR;
	while (!(PMC->PMC_SR & PMC_SR_MCKRDY)) {
	}
	SystemCoreClock = CHIP_FREQ_CPU_MAX;
}