1 // SPDX-License-Identifier: GPL-2.0+
3 * K3: Architecture initialization
5 * Copyright (C) 2017-2018 Texas Instruments Incorporated - http://www.ti.com/
6 * Lokesh Vutla <lokeshvutla@ti.com>
12 #ifdef CONFIG_SPL_BUILD
13 void board_init_f(ulong dummy)
15 /* Init DM early in-order to invoke system controller */
18 /* Prepare console output */
19 preloader_console_init();
22 u32 spl_boot_device(void)
24 return BOOT_DEVICE_RAM;
28 #ifndef CONFIG_SYSRESET
29 void reset_cpu(ulong ignored)