1 // SPDX-License-Identifier: GPL-2.0+
3 * (C) Copyright 2015 Rockchip Electronics Co., Ltd
7 #include <debug_uart.h>
9 #include <asm/arch-rockchip/bootrom.h>
10 #include <asm/arch-rockchip/sdram_rk3036.h>
11 #include <asm/arch-rockchip/timer.h>
13 void board_init_f(ulong dummy)
15 #ifdef CONFIG_DEBUG_UART
18 rockchip_timer_init();
21 /* return to maskrom */
22 back_to_bootrom(BROM_BOOT_NEXTSTAGE);
26 void board_init_r(gd_t *id, ulong dest_addr)
29 * Function attribute is no-return
30 * This Function never executes