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