1e9c847c3SAnatolij GustschinCONFIG_ARM=y 2e9c847c3SAnatolij GustschinCONFIG_ARCH_SOCFPGA=y 3e9c847c3SAnatolij GustschinCONFIG_SYS_MALLOC_F_LEN=0x2000 4e9c847c3SAnatolij Gustschin# CONFIG_SPL_SPI_SUPPORT is not set 5e9c847c3SAnatolij GustschinCONFIG_TARGET_SOCFPGA_TERASIC_DE1_SOC=y 6e9c847c3SAnatolij GustschinCONFIG_SPL_STACK_R_ADDR=0x00800000 7e9c847c3SAnatolij GustschinCONFIG_DEFAULT_DEVICE_TREE="socfpga_cyclone5_de1_soc" 8e9c847c3SAnatolij GustschinCONFIG_FIT=y 9e9c847c3SAnatolij GustschinCONFIG_SYS_CONSOLE_IS_IN_ENV=y 10e9c847c3SAnatolij GustschinCONFIG_SYS_CONSOLE_OVERWRITE_ROUTINE=y 11e9c847c3SAnatolij GustschinCONFIG_SYS_CONSOLE_ENV_OVERWRITE=y 12e9c847c3SAnatolij GustschinCONFIG_VERSION_VARIABLE=y 13e9c847c3SAnatolij Gustschin# CONFIG_DISPLAY_BOARDINFO is not set 14e9c847c3SAnatolij GustschinCONFIG_SPL=y 15*24eb39b5SAndrew F. Davis# CONFIG_SPL_RAW_IMAGE_SUPPORT is not set 16e9c847c3SAnatolij GustschinCONFIG_SPL_SYS_MALLOC_SIMPLE=y 17e9c847c3SAnatolij GustschinCONFIG_SPL_STACK_R=y 188728c97eSTom RiniCONFIG_SPL_YMODEM_SUPPORT=y 19e9c847c3SAnatolij GustschinCONFIG_HUSH_PARSER=y 20e9c847c3SAnatolij GustschinCONFIG_CMD_BOOTZ=y 21e9c847c3SAnatolij Gustschin# CONFIG_CMD_IMLS is not set 22e9c847c3SAnatolij GustschinCONFIG_CMD_ASKENV=y 23e9c847c3SAnatolij GustschinCONFIG_CMD_GREPENV=y 24e9c847c3SAnatolij Gustschin# CONFIG_CMD_FLASH is not set 25e9c847c3SAnatolij GustschinCONFIG_CMD_MMC=y 26e9c847c3SAnatolij GustschinCONFIG_CMD_SPI=y 27e9c847c3SAnatolij GustschinCONFIG_CMD_I2C=y 28e9c847c3SAnatolij GustschinCONFIG_CMD_USB=y 29e9c847c3SAnatolij GustschinCONFIG_CMD_GPIO=y 30e9c847c3SAnatolij GustschinCONFIG_CMD_DHCP=y 31e9c847c3SAnatolij GustschinCONFIG_CMD_MII=y 32e9c847c3SAnatolij GustschinCONFIG_CMD_PING=y 33e9c847c3SAnatolij GustschinCONFIG_CMD_CACHE=y 34e9c847c3SAnatolij GustschinCONFIG_CMD_TIME=y 35e9c847c3SAnatolij GustschinCONFIG_CMD_EXT4=y 36e9c847c3SAnatolij GustschinCONFIG_CMD_EXT4_WRITE=y 37e9c847c3SAnatolij GustschinCONFIG_CMD_FAT=y 38e9c847c3SAnatolij GustschinCONFIG_CMD_FS_GENERIC=y 39e9c847c3SAnatolij GustschinCONFIG_SPL_DM=y 40e9c847c3SAnatolij GustschinCONFIG_DM_GPIO=y 41e9c847c3SAnatolij GustschinCONFIG_DWAPB_GPIO=y 42e9c847c3SAnatolij GustschinCONFIG_SYS_I2C_DW=y 43e9c847c3SAnatolij GustschinCONFIG_DM_MMC=y 4455ed3b46SMasahiro YamadaCONFIG_MMC_DW=y 45e9c847c3SAnatolij GustschinCONFIG_DM_ETH=y 46e9c847c3SAnatolij GustschinCONFIG_ETH_DESIGNWARE=y 47e9c847c3SAnatolij GustschinCONFIG_SYS_NS16550=y 48e9c847c3SAnatolij GustschinCONFIG_USB=y 49e9c847c3SAnatolij GustschinCONFIG_DM_USB=y 50e9c847c3SAnatolij GustschinCONFIG_USB_STORAGE=y 51e9c847c3SAnatolij GustschinCONFIG_USE_TINY_PRINTF=y 52e9c847c3SAnatolij Gustschin# CONFIG_EFI_LOADER is not set 53