Loading...
// SPDX-License-Identifier: GPL-2.0+ /* * (C) Copyright 2019 Rockchip Electronics Co., Ltd */ #include <bootstage.h> #include <debug_uart.h> #include <dm.h> #include <hang.h> #include <init.h> #include <log.h> #include <ram.h> #include <spl.h> #include <version.h> #include <asm/io.h> #include <asm/arch-rockchip/bootrom.h> #include <linux/bitops.h> #if CONFIG_IS_ENABLED(BANNER_PRINT) #include <timestamp.h> #endif void board_init_f(ulong dummy) { int ret; #if defined(CONFIG_DEBUG_UART) && defined(CONFIG_VPL_SERIAL) /* * Debug UART can be used from here if required: * * debug_uart_init(); * printch('a'); * printhex8(0x1234); * printascii("string"); */ debug_uart_init(); #ifdef CONFIG_VPL_BANNER_PRINT printascii("\nU-Boot VPL " PLAIN_VERSION " (" U_BOOT_DATE " - " U_BOOT_TIME ")\n"); #endif #endif ret = spl_early_init(); if (ret) { debug("spl_early_init() failed: %d\n", ret); hang(); } } u32 spl_boot_device(void) { return BOOT_DEVICE_VBE; } |