| /* SPDX-License-Identifier: GPL-2.0+ */ |
| * Copyright (C) STMicroelectronics SA 2017 |
| * Author(s): Patrice CHOTARD, <patrice.chotard@foss.st.com> for STMicroelectronics. |
| /* For booting Linux, use the first 12MB of memory */ |
| #define CONFIG_SYS_BOOTMAPSZ SZ_8M + SZ_4M |
| #define CONFIG_SYS_FLASH_BASE 0x08000000 |
| #define CONFIG_SYS_INIT_SP_ADDR 0x10010000 |
| * Configuration of the external SDRAM memory |
| #define CONFIG_SYS_MAX_FLASH_SECT 12 |
| #define CONFIG_SYS_MAX_FLASH_BANKS 2 |
| #define CONFIG_STM32_FLASH |
| #define CONFIG_SYS_HZ_CLOCK 1000000 /* Timer is clocked at 1MHz */ |
| #define CONFIG_SYS_CBSIZE 1024 |
| #define BOOT_TARGET_DEVICES(func) \ |
| #include <config_distro_bootcmd.h> |
| #define CONFIG_EXTRA_ENV_SETTINGS \ |
| "kernel_addr_r=0x00008000\0" \ |
| "fdtfile=stm32f469-disco.dtb\0" \ |
| "fdt_addr_r=0x00408000\0" \ |
| "scriptaddr=0x00418000\0" \ |
| "pxefile_addr_r=0x00428000\0" \ |
| "ramdisk_addr_r=0x00438000\0" \ |