#include <linux/sizes.h>
/* For booting Linux, use the first 12MB of memory */
-#define CONFIG_SYS_BOOTMAPSZ SZ_8M + SZ_4M
+#define CFG_SYS_BOOTMAPSZ SZ_8M + SZ_4M
-#define CONFIG_SYS_FLASH_BASE 0x08000000
-
-#define CONFIG_SYS_INIT_SP_ADDR 0x10010000
+#define CFG_SYS_FLASH_BASE 0x08000000
/*
* Configuration of the external SDRAM memory
*/
-#define CONFIG_SYS_MAX_FLASH_SECT 12
-#define CONFIG_SYS_MAX_FLASH_BANKS 2
-
-#define CONFIG_SYS_HZ_CLOCK 1000000 /* Timer is clocked at 1MHz */
-
-#define CONFIG_SYS_CBSIZE 1024
+#define CFG_SYS_HZ_CLOCK 1000000 /* Timer is clocked at 1MHz */
#define BOOT_TARGET_DEVICES(func) \
func(MMC, mmc, 0)
#include <config_distro_bootcmd.h>
-#define CONFIG_EXTRA_ENV_SETTINGS \
+#define CFG_EXTRA_ENV_SETTINGS \
"kernel_addr_r=0x00008000\0" \
"fdtfile=stm32f469-disco.dtb\0" \
"fdt_addr_r=0x00408000\0" \