if TARGET_CONTROLCENTERDC

config SYS_BOARD
	default "a38x"

config SYS_VENDOR
	default "gdsys"

config SYS_SOC
	default "mvebu"

config SYS_CONFIG_NAME
	default "controlcenterdc"

menu "Controlcenter DC board options"

choice
	prompt "Select boot method"

config SPL_BOOT_DEVICE_SPI
	bool "SPI"

config SPL_BOOT_DEVICE_MMC
	bool "MMC"
	select SPL_LIBDISK_SUPPORT

endchoice

#config SPL_BOOT_DEVICE
#	int
#	default 1 if SPL_BOOT_DEVICE_SPI
#	default 2 if SPL_BOOT_DEVICE_MMC

endmenu

endif