/* Perform basic hardware initialization. 
Initialize the interrupt controller device drivers. Also initialize the counter device driver, if required. */
static int mcimx6x_m4_init(void)
/* Perform basic hardware initialization. 
Initialize the interrupt controller device drivers. Also initialize the counter device driver, if required. */
static int mcimx6x_m4_init(void)
{
	SOC_RdcInit();
	WDOG_DisablePowerdown(WDOG3);
	SOC_CacheInit();
	SOC_ClockInit();
	return 0;
}