1dd84058dSMasahiro YamadaCONFIG_ARM=y 2dd84058dSMasahiro YamadaCONFIG_TARGET_DEVKIT3250=y 380df6913SBin MengCONFIG_DM_GPIO=y 4e9b3ce3fSVladimir ZapolskiyCONFIG_SPL=y 5768ddeeeSVladimir Zapolskiy# CONFIG_CMD_FPGA is not set 6*e4aa8edbSThomas ChouCONFIG_CMD_GPIO=y 7ef0f2f57SJoe Hershberger# CONFIG_CMD_SETEXPR is not set 8768ddeeeSVladimir ZapolskiyCONFIG_DM=y 9