1*1b259403SLey Foon TanCONFIG_ARM=y
2*1b259403SLey Foon TanCONFIG_ARCH_SOCFPGA=y
3*1b259403SLey Foon TanCONFIG_SYS_MALLOC_F_LEN=0x2000
4*1b259403SLey Foon TanCONFIG_TARGET_SOCFPGA_ARRIA10_SOCDK=y
5*1b259403SLey Foon TanCONFIG_IDENT_STRING="socfpga_arria10"
6*1b259403SLey Foon TanCONFIG_DEFAULT_DEVICE_TREE="socfpga_arria10_socdk_sdmmc"
7*1b259403SLey Foon TanCONFIG_DEFAULT_FDT_FILE="socfpga_arria10_socdk_sdmmc.dtb"
8*1b259403SLey Foon TanCONFIG_SPL=y
9*1b259403SLey Foon TanCONFIG_CMD_BOOTZ=y
10*1b259403SLey Foon Tan# CONFIG_CMD_IMLS is not set
11*1b259403SLey Foon TanCONFIG_CMD_ASKENV=y
12*1b259403SLey Foon TanCONFIG_CMD_GREPENV=y
13*1b259403SLey Foon Tan# CONFIG_CMD_FLASH is not set
14*1b259403SLey Foon TanCONFIG_CMD_MMC=y
15*1b259403SLey Foon TanCONFIG_CMD_GPIO=y
16*1b259403SLey Foon TanCONFIG_CMD_DHCP=y
17*1b259403SLey Foon TanCONFIG_CMD_PING=y
18*1b259403SLey Foon TanCONFIG_CMD_CACHE=y
19*1b259403SLey Foon TanCONFIG_CMD_EXT4=y
20*1b259403SLey Foon TanCONFIG_CMD_EXT4_WRITE=y
21*1b259403SLey Foon TanCONFIG_DOS_PARTITION=y
22*1b259403SLey Foon Tan# CONFIG_SPL_DOS_PARTITION is not set
23*1b259403SLey Foon TanCONFIG_SPL_DM=y
24*1b259403SLey Foon TanCONFIG_SPL_DM_SEQ_ALIAS=y
25*1b259403SLey Foon TanCONFIG_DM_GPIO=y
26*1b259403SLey Foon TanCONFIG_DWAPB_GPIO=y
27*1b259403SLey Foon TanCONFIG_DM_MMC=y
28*1b259403SLey Foon TanCONFIG_SYS_NS16550=y
29*1b259403SLey Foon TanCONFIG_USE_TINY_PRINTF=y
30