board/gdsys/a38x/Kconfig

   1 if TARGET_CONTROLCENTERDC
   2
   3 config SYS_BOARD
   4         default "a38x"
   5
   6 config SYS_VENDOR
   7         default "gdsys"
   8
   9 config SYS_SOC
  10         default "mvebu"
  11
  12 config SYS_CONFIG_NAME
  13         default "controlcenterdc"
  14
  15 menu "Controlcenter DC board options"
  16
  17 choice
  18         prompt "Select boot method"
  19
  20 config SPL_BOOT_DEVICE_SPI
  21         bool "SPI"
  22
  23 config SPL_BOOT_DEVICE_MMC
  24         bool "MMC"
  25         select SPL_LIBDISK_SUPPORT
  26
  27 endchoice
  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
  34 endmenu
  35
  36 endif