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