1 // SPDX-License-Identifier: GPL-2.0+
4 * Author(s): Giulio Benetti <giulio.benetti@benettiengineering.com>
12 #include <asm/armv7m.h>
14 DECLARE_GLOBAL_DATA_PTR;
18 #ifndef CONFIG_SUPPORT_SPL
22 rv = uclass_get_device(UCLASS_RAM, 0, &dev);
24 debug("DRAM init failed: %d\n", rv);
29 return fdtdec_setup_mem_size_base();
32 int dram_init_banksize(void)
34 return fdtdec_setup_memory_banksize();
37 #ifdef CONFIG_SPL_BUILD
38 #ifdef CONFIG_SPL_OS_BOOT
39 int spl_start_uboot(void)
41 debug("SPL: booting kernel\n");
42 /* break into full u-boot on 'c' */
43 return serial_tstc() && serial_getc() == 'c';
47 int spl_dram_init(void)
52 rv = uclass_get_device(UCLASS_RAM, 0, &dev);
54 debug("DRAM init failed: %d\n", rv);
58 void spl_board_init(void)
61 preloader_console_init();
62 arch_cpu_init(); /* to configure mpu for sdram rw permissions */
65 u32 spl_boot_device(void)
67 return BOOT_DEVICE_MMC1;
71 u32 get_board_rev(void)
78 gd->bd->bi_boot_params = gd->bd->bi_dram[0].start + 0x100;