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