configs/devkit3250_defconfig - u-boot - Git at Google

 CONFIG_ARM=y
 CONFIG_TARGET_DEVKIT3250=y
 CONFIG_DM_GPIO=y
 CONFIG_SPL=y
 # CONFIG_CMD_FPGA is not set
 CONFIG_CMD_GPIO=y
 # CONFIG_CMD_SETEXPR is not set
 CONFIG_DM=y
 CONFIG_SYS_NS16550=y
	CONFIG_ARM=y
	CONFIG_TARGET_DEVKIT3250=y
	CONFIG_DM_GPIO=y
	CONFIG_SPL=y
	# CONFIG_CMD_FPGA is not set
	CONFIG_CMD_GPIO=y
	# CONFIG_CMD_SETEXPR is not set
	CONFIG_DM=y
	CONFIG_SYS_NS16550=y