Convert CONFIG_SPL_BSS_MAX_SIZE et al to Kconfig
[J-u-boot.git] / configs / socfpga_de1_soc_defconfig
CommitLineData
e9c847c3
AG
1CONFIG_ARM=y
2CONFIG_ARCH_SOCFPGA=y
9802154a 3CONFIG_SYS_MALLOC_LEN=0x4000000
a09fea1d
TR
4CONFIG_ENV_SIZE=0x2000
5CONFIG_ENV_OFFSET=0x4400
052170c6 6CONFIG_DM_GPIO=y
2bba7807 7CONFIG_DEFAULT_DEVICE_TREE="socfpga_cyclone5_de1_soc"
665c35a7 8CONFIG_SPL_TEXT_BASE=0xFFFF0000
c5a6e9f8 9CONFIG_TARGET_SOCFPGA_TERASIC_DE1_SOC=y
fa2c1467 10CONFIG_DISTRO_DEFAULTS=y
e9c847c3 11CONFIG_FIT=y
d6b318de 12CONFIG_TIMESTAMP=y
fa2c1467 13# CONFIG_USE_BOOTCOMMAND is not set
0817daa7 14CONFIG_DEFAULT_FDT_FILE="socfpga_cyclone5_de1_soc.dtb"
e9c847c3
AG
15CONFIG_SYS_CONSOLE_IS_IN_ENV=y
16CONFIG_SYS_CONSOLE_OVERWRITE_ROUTINE=y
17CONFIG_SYS_CONSOLE_ENV_OVERWRITE=y
e9c847c3 18# CONFIG_DISPLAY_BOARDINFO is not set
78eba69d 19CONFIG_DISPLAY_BOARDINFO_LATE=y
15b4aed4 20CONFIG_CLOCKS=y
ca8a329a 21CONFIG_SPL_PAD_TO=0x10000
9b5f9aeb 22CONFIG_SPL_NO_BSS_LIMIT=y
24eb39b5 23# CONFIG_SPL_RAW_IMAGE_SUPPORT is not set
8728c97e 24CONFIG_SPL_YMODEM_SUPPORT=y
cf493582 25CONFIG_SYS_MAXARGS=32
e9c847c3
AG
26CONFIG_CMD_ASKENV=y
27CONFIG_CMD_GREPENV=y
28# CONFIG_CMD_FLASH is not set
88663126
TR
29CONFIG_CMD_GPIO=y
30CONFIG_CMD_I2C=y
e9c847c3
AG
31CONFIG_CMD_MMC=y
32CONFIG_CMD_SPI=y
e9c847c3 33CONFIG_CMD_USB=y
e9c847c3
AG
34CONFIG_CMD_CACHE=y
35CONFIG_CMD_TIME=y
e9c847c3 36CONFIG_CMD_EXT4_WRITE=y
43ede0bc 37CONFIG_MTDIDS_DEFAULT="nor0=ff705000.spi.0"
37dc72f5
TR
38# CONFIG_ISO_PARTITION is not set
39# CONFIG_EFI_PARTITION is not set
5dc4dfd2 40CONFIG_ENV_IS_IN_MMC=y
8d8ee47e 41CONFIG_SYS_RELOC_GD_ENV_ADDR=y
0817daa7 42CONFIG_VERSION_VARIABLE=y
e9c847c3 43CONFIG_DWAPB_GPIO=y
2878942a 44CONFIG_DM_I2C=y
e9c847c3 45CONFIG_SYS_I2C_DW=y
55ed3b46 46CONFIG_MMC_DW=y
888f184a 47CONFIG_MTD=y
da3b9e7f
AG
48CONFIG_PHY_MICREL=y
49CONFIG_PHY_MICREL_KSZ90X1=y
e9c847c3
AG
50CONFIG_DM_ETH=y
51CONFIG_ETH_DESIGNWARE=y
d7869b21 52CONFIG_MII=y
a8c2dcf0 53CONFIG_DM_RESET=y
f1b1f770 54CONFIG_SPI=y
e9c847c3 55CONFIG_USB=y
4ac72f5c 56CONFIG_USB_DWC2=y
e263607a 57# CONFIG_SPL_WDT is not set
e9c847c3 58# CONFIG_EFI_LOADER is not set
This page took 0.645175 seconds and 4 git commands to generate.