Convert CONFIG_SPL_PAD_TO et al to Kconfig

[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 c76d290..261e4c8 100644 (file)
--- a/include/configs/stm32f746-disco.h
+++ b/include/configs/stm32f746-disco.h
@@ -20,32 +20,25 @@
  */
 
 #define CONFIG_SYS_MAX_FLASH_SECT      8
-#define CONFIG_SYS_MAX_FLASH_BANKS     1
-
-#define CONFIG_STM32_FLASH
 
 #define CONFIG_DW_GMAC_DEFAULT_DMA_PBL (8)
 #define CONFIG_DW_ALTDESCRIPTOR
 
 #define CONFIG_SYS_HZ_CLOCK            1000000 /* Timer is clocked at 1MHz */
 
-#define CONFIG_SYS_CBSIZE              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" \
+                       "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
 
-#define CONFIG_DISPLAY_BOARDINFO
-
 /* For SPL */
 #ifdef CONFIG_SUPPORT_SPL
 #define CONFIG_SPL_STACK               CONFIG_SYS_INIT_SP_ADDR