/* Enable timer */
timer_init();
- /* Setup the PLLs and the clocks for the peripherals */
- pll_init();
-
- /* Enable RTC32K clock */
- rtc32k_enable();
+ setup_clocks_for_console();
/* Set UART pins */
enable_uart0_pin_mux();
preloader_console_init();
+ /* Setup the PLLs and the clocks for the peripherals */
+ prcm_init();
+
+ /* Enable RTC32K clock */
+ rtc32k_enable();
+
config_dmm(&evm_lisa_map_regs);
config_ddr(0, 0, &evm_ddr2_data, &evm_ddr2_cctrl_data,