#include "system.h"

/********************************************************************************/
/***** InitFlash()															*****/
/***** Needed to Selected the ExtenderPPI clock on te BF53x-EZkit 			*****/
/********************************************************************************/
void InitFlash(void)
{ 	
	// Initalize EBIU control registers
	*pEBIU_AMBCTL0 = 0x78B078B0;
	*pEBIU_AMBCTL1 = 0x78B078B0;
	asm("ssync;");

	*pEBIU_AMGCTL |= 0x000F;
	asm("ssync;");
	
	*((short*)(FLASHA_CSIO+PORTA_DATA_DIR)) |= 1<< PPI_EXTENDER_CLK_BIT;	// set direction to output
	*((short*)(FLASHA_CSIO+PORTA_DATA_OUT)) |= 1<< PPI_EXTENDER_CLK_BIT;	// set Flag PA5 high to select external PPI clock
}