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 15e9c847c3SAnatolij GustschinCONFIG_SPL_SYS_MALLOC_SIMPLE=y 16e9c847c3SAnatolij GustschinCONFIG_SPL_STACK_R=y 17*8728c97eSTom RiniCONFIG_SPL_YMODEM_SUPPORT=y 18e9c847c3SAnatolij GustschinCONFIG_HUSH_PARSER=y 19e9c847c3SAnatolij GustschinCONFIG_CMD_BOOTZ=y 20e9c847c3SAnatolij Gustschin# CONFIG_CMD_IMLS is not set 21e9c847c3SAnatolij GustschinCONFIG_CMD_ASKENV=y 22e9c847c3SAnatolij GustschinCONFIG_CMD_GREPENV=y 23e9c847c3SAnatolij Gustschin# CONFIG_CMD_FLASH is not set 24e9c847c3SAnatolij GustschinCONFIG_CMD_MMC=y 25e9c847c3SAnatolij GustschinCONFIG_CMD_SPI=y 26e9c847c3SAnatolij GustschinCONFIG_CMD_I2C=y 27e9c847c3SAnatolij GustschinCONFIG_CMD_USB=y 28e9c847c3SAnatolij GustschinCONFIG_CMD_GPIO=y 29e9c847c3SAnatolij GustschinCONFIG_CMD_DHCP=y 30e9c847c3SAnatolij GustschinCONFIG_CMD_MII=y 31e9c847c3SAnatolij GustschinCONFIG_CMD_PING=y 32e9c847c3SAnatolij GustschinCONFIG_CMD_CACHE=y 33e9c847c3SAnatolij GustschinCONFIG_CMD_TIME=y 34e9c847c3SAnatolij GustschinCONFIG_CMD_EXT4=y 35e9c847c3SAnatolij GustschinCONFIG_CMD_EXT4_WRITE=y 36e9c847c3SAnatolij GustschinCONFIG_CMD_FAT=y 37e9c847c3SAnatolij GustschinCONFIG_CMD_FS_GENERIC=y 38e9c847c3SAnatolij GustschinCONFIG_SPL_DM=y 39e9c847c3SAnatolij GustschinCONFIG_DM_GPIO=y 40e9c847c3SAnatolij GustschinCONFIG_DWAPB_GPIO=y 41e9c847c3SAnatolij GustschinCONFIG_SYS_I2C_DW=y 42e9c847c3SAnatolij GustschinCONFIG_DM_MMC=y 4355ed3b46SMasahiro YamadaCONFIG_MMC_DW=y 44e9c847c3SAnatolij GustschinCONFIG_DM_ETH=y 45e9c847c3SAnatolij GustschinCONFIG_ETH_DESIGNWARE=y 46e9c847c3SAnatolij GustschinCONFIG_SYS_NS16550=y 47e9c847c3SAnatolij GustschinCONFIG_USB=y 48e9c847c3SAnatolij GustschinCONFIG_DM_USB=y 49e9c847c3SAnatolij GustschinCONFIG_USB_STORAGE=y 50e9c847c3SAnatolij GustschinCONFIG_USE_TINY_PRINTF=y 51e9c847c3SAnatolij Gustschin# CONFIG_EFI_LOADER is not set 52