| // SPDX-License-Identifier: GPL-2.0+ |
| * Author(s): Giulio Benetti <giulio.benetti@benettiengineering.com> |
| #include <asm/global_data.h> |
| #ifndef CONFIG_SUPPORT_SPL |
| rv = uclass_get_device(UCLASS_RAM, 0, &dev); |
| debug("DRAM init failed: %d\n", rv); |
| return fdtdec_setup_mem_size_base(); |
| int dram_init_banksize(void) |
| return fdtdec_setup_memory_banksize(); |
| #ifdef CONFIG_SPL_OS_BOOT |
| int spl_start_uboot(void) |
| debug("SPL: booting kernel\n"); |
| /* break into full u-boot on 'c' */ |
| return serial_tstc() && serial_getc() == 'c'; |
| rv = uclass_get_device(UCLASS_RAM, 0, &dev); |
| debug("DRAM init failed: %d\n", rv); |
| void spl_board_init(void) |
| preloader_console_init(); |
| arch_cpu_init(); /* to configure mpu for sdram rw permissions */ |
| u32 spl_boot_device(void) |
| gd->bd->bi_boot_params = gd->bd->bi_dram[0].start + 0x100; |