Migrate CUSTOM_SYS_INIT_SP_ADDR to Kconfig using system-constants.h

[platform/kernel/u-boot.git] / include / configs / stm32f746-disco.h

diff --git a/include/configs/stm32f746-disco.h b/include/configs/stm32f746-disco.h
index 84bbc76..ac54c50 100644 (file)
--- a/include/configs/stm32f746-disco.h
+++ b/include/configs/stm32f746-disco.h
@@ -7,67 +7,37 @@
 #ifndef __CONFIG_H
 #define __CONFIG_H
 
-#define CONFIG_SYS_FLASH_BASE          0x08000000
-#define CONFIG_SYS_INIT_SP_ADDR                0x20050000
+#include <linux/sizes.h>
+
+/* For booting Linux, use the first 6MB of memory */
+#define CONFIG_SYS_BOOTMAPSZ           SZ_4M + SZ_2M
 
-#ifdef CONFIG_SUPPORT_SPL
-#define CONFIG_SYS_LOAD_ADDR           0x08008000
-#else
-#define CONFIG_SYS_LOAD_ADDR           0xC0400000
-#define CONFIG_LOADADDR                        0xC0400000
-#endif
+#define CONFIG_SYS_FLASH_BASE          0x08000000
 
 /*
  * Configuration of the external SDRAM memory
  */
 
 #define CONFIG_SYS_MAX_FLASH_SECT      8
-#define CONFIG_SYS_MAX_FLASH_BANKS     1
-
-#define CONFIG_ENV_SIZE                        (8 << 10)
-
-#define CONFIG_STM32_FLASH
 
 #define CONFIG_DW_GMAC_DEFAULT_DMA_PBL (8)
 #define CONFIG_DW_ALTDESCRIPTOR
-#define CONFIG_PHY_SMSC
 
 #define CONFIG_SYS_HZ_CLOCK            1000000 /* Timer is clocked at 1MHz */
 
-#define CONFIG_CMDLINE_TAG
-#define CONFIG_SETUP_MEMORY_TAGS
-#define CONFIG_INITRD_TAG
-#define CONFIG_REVISION_TAG
-
-#define CONFIG_SYS_CBSIZE              1024
-
-#define CONFIG_SYS_MALLOC_LEN          (1 * 1024 * 1024)
-
 #define BOOT_TARGET_DEVICES(func) \
        func(MMC, mmc, 0)
 
 #include <config_distro_bootcmd.h>
 #define CONFIG_EXTRA_ENV_SETTINGS                              \
                        "kernel_addr_r=0xC0008000\0"            \
-                       "fdtfile=stm32f746-disco.dtb\0" \
-                       "fdt_addr_r=0xC0500000\0"               \
-                       "scriptaddr=0xC0008000\0"               \
-                       "pxefile_addr_r=0xC0008000\0" \
-                       "fdt_high=0xffffffffffffffff\0"         \
-                       "initrd_high=0xffffffffffffffff\0"      \
-                       "ramdisk_addr_r=0xD0900000\0"           \
+                       "fdtfile="CONFIG_DEFAULT_DEVICE_TREE".dtb\0"    \
+                       "fdt_addr_r=0xC0408000\0"               \
+                       "scriptaddr=0xC0418000\0"               \
+                       "pxefile_addr_r=0xC0428000\0" \
+                       "ramdisk_addr_r=0xC0438000\0"           \
                        BOOTENV
 
-/*
- * Command line configuration.
- */
-#define CONFIG_BOARD_LATE_INIT
-#define CONFIG_DISPLAY_BOARDINFO
-
-/* For SPL */
-#ifdef CONFIG_SUPPORT_SPL
-#define CONFIG_SPL_STACK               CONFIG_SYS_INIT_SP_ADDR
-#define CONFIG_SPL_TEXT_BASE           CONFIG_SYS_FLASH_BASE
 #define CONFIG_SYS_MONITOR_LEN         (512 * 1024)
 #define CONFIG_SYS_SPL_LEN             0x00008000
 #define CONFIG_SYS_UBOOT_START         0x080083FD
@@ -77,17 +47,7 @@
 /* DT blob (fdt) address */
 #define CONFIG_SYS_FDT_BASE            (CONFIG_SYS_FLASH_BASE + \
                                        0x1C0000)
-#endif
-/* For SPL ends */
 
 /* For splashcreen */
-#ifdef CONFIG_DM_VIDEO
-#define CONFIG_VIDEO_BMP_RLE8
-#define CONFIG_BMP_16BPP
-#define CONFIG_BMP_24BPP
-#define CONFIG_BMP_32BPP
-#define CONFIG_SPLASH_SCREEN
-#define CONFIG_SPLASH_SCREEN_ALIGN
-#endif
 
 #endif /* __CONFIG_H */