1 // SPDX-License-Identifier: GPL-2.0+
3 * (C) Copyright 2019 Rockchip Electronics Co., Ltd
7 #include <debug_uart.h>
12 #include <asm/arch-rockchip/bootrom.h>
13 #include <asm/arch-rockchip/timer.h>
15 u32 spl_boot_device(void)
17 return BOOT_DEVICE_MMC1;
20 void board_init_f(ulong dummy)
26 * Debug UART can be used from here if required:
31 * printascii("string");
34 printascii("TPL Init");
36 ret = spl_early_init();
38 debug("spl_early_init() failed: %d\n", ret);
42 rockchip_timer_init();
43 printf("timer init done\n");
44 ret = uclass_get_device(UCLASS_RAM, 0, &dev);
46 printf("DRAM init failed: %d\n", ret);
50 #if defined(CONFIG_TPL_ROCKCHIP_BACK_TO_BROM) && !defined(CONFIG_TPL_BOARD_INIT)
51 back_to_bootrom(BROM_BOOT_NEXTSTAGE);