| CONFIG_XTENSA=y |
| CONFIG_SYS_CPU="dc233c" |
| CONFIG_XTFPGA_KC705=y |
| CONFIG_BOOTDELAY=10 |
| CONFIG_SYS_PROMPT="U-Boot> " |
| CONFIG_AUTOBOOT_KEYED=y |
| CONFIG_AUTOBOOT_PROMPT="Autobooting in %d seconds, press <SPACE> to stop\n" |
| CONFIG_AUTOBOOT_STOP_STR=" " |
| CONFIG_CMD_ASKENV=y |
| CONFIG_CMD_DHCP=y |
| CONFIG_CMD_PING=y |
| CONFIG_DM=y |
| # CONFIG_DM_WARN is not set |
| # CONFIG_DM_DEVICE_REMOVE is not set |
| # CONFIG_DM_STDIO is not set |
| # CONFIG_DM_SEQ_ALIAS is not set |
| CONFIG_SYSRESET=y |
| CONFIG_DM_ETH=y |
| CONFIG_PHYLIB=y |
| CONFIG_ETHOC=y |
| CONFIG_SYS_NS16550=y |
| CONFIG_OF_LIBFDT=y |