| 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 |