Convert CONFIG_ESDHC_DETECT_QUIRK to Kconfig
[platform/kernel/u-boot.git] / include / configs / stm32h743-eval.h
1 /* SPDX-License-Identifier: GPL-2.0+ */
2 /*
3  * Copyright (C) 2017, STMicroelectronics - All Rights Reserved
4  * Author(s): Patrice Chotard, <patrice.chotard@foss.st.com> for STMicroelectronics.
5  */
6
7 #ifndef __CONFIG_H
8 #define __CONFIG_H
9
10 #include <config.h>
11 #include <linux/sizes.h>
12
13 /* For booting Linux, use the first 16MB of memory */
14 #define CONFIG_SYS_BOOTMAPSZ            SZ_16M
15
16 #define CONFIG_SYS_FLASH_BASE           0x08000000
17
18 #define CONFIG_SYS_HZ_CLOCK             1000000
19
20 #define BOOT_TARGET_DEVICES(func) \
21         func(MMC, mmc, 0)
22
23 #include <config_distro_bootcmd.h>
24 #define CONFIG_EXTRA_ENV_SETTINGS                               \
25                         "kernel_addr_r=0xD0008000\0"            \
26                         "fdtfile=stm32h743i-eval.dtb\0" \
27                         "fdt_addr_r=0xD0408000\0"               \
28                         "scriptaddr=0xD0418000\0"               \
29                         "pxefile_addr_r=0xD0428000\0" \
30                         "ramdisk_addr_r=0xD0438000\0"           \
31                         BOOTENV
32
33 #endif /* __CONFIG_H */