1CONFIG_XTENSA=y 2CONFIG_SYS_CPU="dc233c" 3CONFIG_XTFPGA_KC705=y 4CONFIG_BOOTDELAY=10 5CONFIG_VERSION_VARIABLE=y 6CONFIG_SYS_PROMPT="U-Boot> " 7CONFIG_AUTOBOOT_KEYED=y 8CONFIG_AUTOBOOT_PROMPT="Autobooting in %d seconds, press <SPACE> to stop\n" 9CONFIG_AUTOBOOT_STOP_STR=" " 10CONFIG_CMD_ASKENV=y 11CONFIG_CMD_DHCP=y 12CONFIG_CMD_PING=y 13CONFIG_DM=y 14# CONFIG_DM_WARN is not set 15# CONFIG_DM_DEVICE_REMOVE is not set 16# CONFIG_DM_STDIO is not set 17# CONFIG_DM_SEQ_ALIAS is not set 18CONFIG_DM_ETH=y 19CONFIG_PHYLIB=y 20CONFIG_ETHOC=y 21CONFIG_SYS_NS16550=y 22CONFIG_SYSRESET=y 23CONFIG_OF_LIBFDT=y 24