1if TARGET_CONTROLCENTERDC
2
3config SYS_BOARD
4	default "a38x"
5
6config SYS_VENDOR
7	default "gdsys"
8
9config SYS_SOC
10	default "mvebu"
11
12config SYS_CONFIG_NAME
13	default "controlcenterdc"
14
15menu "Controlcenter DC board options"
16
17choice
18	prompt "Select boot method"
19
20config SPL_BOOT_DEVICE_SPI
21	bool "SPI"
22
23config SPL_BOOT_DEVICE_MMC
24	bool "MMC"
25	select SPL_LIBDISK_SUPPORT
26
27endchoice
28
29#config SPL_BOOT_DEVICE
30#	int
31#	default 1 if SPL_BOOT_DEVICE_SPI
32#	default 2 if SPL_BOOT_DEVICE_MMC
33
34endmenu
35
36endif
37