3 * NVIDIA Inc, <www.nvidia.com>
5 * Allen Martin <amartin@nvidia.com>
7 * SPDX-License-Identifier: GPL-2.0+
13 #include <asm/arch/clock.h>
14 #include <asm/arch/pinmux.h>
15 #include <asm/arch/tegra.h>
16 #include <asm/arch-tegra/board.h>
17 #include <asm/arch/spl.h>
20 void spl_board_init(void)
22 struct pmux_tri_ctlr *pmt = (struct pmux_tri_ctlr *)NV_PA_APB_MISC_BASE;
25 writel(0xC0, &pmt->pmt_cfg_ctl);
29 /* Initialize periph GPIOs */
30 gpio_early_init_uart();
33 preloader_console_init();
36 u32 spl_boot_device(void)
38 return BOOT_DEVICE_RAM;
41 void __noreturn jump_to_image_no_args(struct spl_image_info *spl_image)
43 debug("image entry point: 0x%X\n", spl_image->entry_point);
45 start_cpu((u32)spl_image->entry_point);