1 // SPDX-License-Identifier: GPL-2.0+
4 * Author(s): Giulio Benetti <giulio.benetti@benettiengineering.com>
14 #include <asm/armv7m.h>
16 DECLARE_GLOBAL_DATA_PTR;
20 #ifndef CONFIG_SUPPORT_SPL
24 rv = uclass_get_device(UCLASS_RAM, 0, &dev);
26 debug("DRAM init failed: %d\n", rv);
31 return fdtdec_setup_mem_size_base();
34 int dram_init_banksize(void)
36 return fdtdec_setup_memory_banksize();
39 #ifdef CONFIG_SPL_BUILD
40 #ifdef CONFIG_SPL_OS_BOOT
41 int spl_start_uboot(void)
43 debug("SPL: booting kernel\n");
44 /* break into full u-boot on 'c' */
45 return serial_tstc() && serial_getc() == 'c';
49 int spl_dram_init(void)
54 rv = uclass_get_device(UCLASS_RAM, 0, &dev);
56 debug("DRAM init failed: %d\n", rv);
60 void spl_board_init(void)
63 preloader_console_init();
64 arch_cpu_init(); /* to configure mpu for sdram rw permissions */
67 u32 spl_boot_device(void)
69 return BOOT_DEVICE_MMC1;
73 u32 get_board_rev(void)
80 gd->bd->bi_boot_params = gd->bd->bi_dram[0].start + 0x100;