1 // SPDX-License-Identifier: GPL-2.0+
4 * Author(s): Giulio Benetti <giulio.benetti@benettiengineering.com>
13 #include <asm/armv7m.h>
15 DECLARE_GLOBAL_DATA_PTR;
19 #ifndef CONFIG_SUPPORT_SPL
23 rv = uclass_get_device(UCLASS_RAM, 0, &dev);
25 debug("DRAM init failed: %d\n", rv);
30 return fdtdec_setup_mem_size_base();
33 int dram_init_banksize(void)
35 return fdtdec_setup_memory_banksize();
38 #ifdef CONFIG_SPL_BUILD
39 #ifdef CONFIG_SPL_OS_BOOT
40 int spl_start_uboot(void)
42 debug("SPL: booting kernel\n");
43 /* break into full u-boot on 'c' */
44 return serial_tstc() && serial_getc() == 'c';
48 int spl_dram_init(void)
53 rv = uclass_get_device(UCLASS_RAM, 0, &dev);
55 debug("DRAM init failed: %d\n", rv);
59 void spl_board_init(void)
62 preloader_console_init();
63 arch_cpu_init(); /* to configure mpu for sdram rw permissions */
66 u32 spl_boot_device(void)
68 return BOOT_DEVICE_MMC1;
72 u32 get_board_rev(void)
79 gd->bd->bi_boot_params = gd->bd->bi_dram[0].start + 0x100;