/* Perform basic hardware initialization. 
Initialize the interrupt controller device drivers. Also initialize the timer device driver, if required. */
static int kw2xd_init(void)
/* Perform basic hardware initialization. 
Initialize the interrupt controller device drivers. Also initialize the timer device driver, if required. */
static int kw2xd_init(void)
{
	PMC->REGSC |= PMC_REGSC_ACKISO_MASK;
	clock_init();
	return 0;
}