1dd84058dSMasahiro YamadaCONFIG_ARM=y 2dd84058dSMasahiro YamadaCONFIG_TARGET_DEVKIT3250=y 3*d25ba89eSVladimir ZapolskiyCONFIG_DM_SERIAL=y 480df6913SBin MengCONFIG_DM_GPIO=y 5e9b3ce3fSVladimir ZapolskiyCONFIG_SPL=y 6768ddeeeSVladimir Zapolskiy# CONFIG_CMD_FPGA is not set 7e4aa8edbSThomas ChouCONFIG_CMD_GPIO=y 8ef0f2f57SJoe Hershberger# CONFIG_CMD_SETEXPR is not set 9768ddeeeSVladimir ZapolskiyCONFIG_DM=y 109e39003eSThomas ChouCONFIG_SYS_NS16550=y 11