|
@@ -379,7 +379,7 @@ void board_init_r(gd_t *dummy1, ulong dummy2)
|
|
if (spl_init())
|
|
if (spl_init())
|
|
hang();
|
|
hang();
|
|
}
|
|
}
|
|
-#ifndef CONFIG_PPC
|
|
|
|
|
|
+#if !defined(CONFIG_PPC) && !defined(CONFIG_ARCH_MX6)
|
|
/*
|
|
/*
|
|
* timer_init() does not exist on PPC systems. The timer is initialized
|
|
* timer_init() does not exist on PPC systems. The timer is initialized
|
|
* and enabled (decrementer) in interrupt_init() here.
|
|
* and enabled (decrementer) in interrupt_init() here.
|