1CONFIG_ARM=y 2CONFIG_TARGET_DEVKIT3250=y 3CONFIG_DM_SERIAL=y 4CONFIG_DM_GPIO=y 5CONFIG_SPL=y 6# CONFIG_CMD_FPGA is not set 7CONFIG_CMD_GPIO=y 8# CONFIG_CMD_SETEXPR is not set 9CONFIG_DM=y 10CONFIG_SYS_NS16550=y 11