*/
#include <common.h>
-#include <debug_uart.h>
#include <init.h>
#include <spl.h>
board_early_init_f();
board_early_init_r();
-#ifdef CONFIG_DEBUG_UART
- /* Uart debug for sure */
- debug_uart_init();
- puts("Debug uart enabled\n"); /* or printch() */
-#endif
/* Delay is required for clocks to be propagated */
udelay(1000000);
}