1CONFIG_XTENSA=y
2CONFIG_SYS_CPU="dc233c"
3CONFIG_ENV_SIZE=0x20000
4CONFIG_ENV_SECT_SIZE=0x20000
5CONFIG_XTFPGA_KC705=y
6CONFIG_SHOW_BOOT_PROGRESS=y
7CONFIG_BOOTDELAY=10
8CONFIG_AUTOBOOT_KEYED=y
9CONFIG_AUTOBOOT_PROMPT="Autobooting in %d seconds, press <SPACE> to stop\n"
10CONFIG_AUTOBOOT_STOP_STR=" "
11CONFIG_MISC_INIT_R=y
12CONFIG_HUSH_PARSER=y
13CONFIG_SYS_PROMPT="U-Boot> "
14CONFIG_CMD_IMLS=y
15CONFIG_CMD_ASKENV=y
16CONFIG_CRC32_VERIFY=y
17CONFIG_CMD_MX_CYCLIC=y
18CONFIG_CMD_SAVES=y
19CONFIG_CMD_DHCP=y
20CONFIG_CMD_PING=y
21CONFIG_CMD_DIAG=y
22CONFIG_ENV_IS_IN_FLASH=y
23CONFIG_ENV_ADDR=0xF7FE0000
24CONFIG_VERSION_VARIABLE=y
25CONFIG_DM=y
26# CONFIG_DM_WARN is not set
27# CONFIG_DM_DEVICE_REMOVE is not set
28# CONFIG_DM_STDIO is not set
29# CONFIG_DM_SEQ_ALIAS is not set
30CONFIG_MTD_NOR_FLASH=y
31CONFIG_FLASH_CFI_DRIVER=y
32CONFIG_SYS_FLASH_PROTECTION=y
33CONFIG_SYS_FLASH_CFI=y
34CONFIG_PHYLIB=y
35CONFIG_DM_ETH=y
36CONFIG_ETHOC=y
37CONFIG_SYS_NS16550=y
38CONFIG_SYSRESET=y
39CONFIG_OF_LIBFDT=y
40