board/gdsys/a38x/Kconfig

   1 if TARGET_CONTROLCENTERDC
   2
   3 menu "Controlcenter DC board options"
   4
   5 choice
   6         prompt "Select boot method"
   7
   8 config SPL_BOOT_DEVICE_SPI
   9         bool "SPI"
  10
  11 config SPL_BOOT_DEVICE_MMC
  12         bool "MMC"
  13         select SPL_LIBDISK_SUPPORT
  14
  15 endchoice
  16
  17 #config SPL_BOOT_DEVICE
  18 #       int
  19 #       default 1 if SPL_BOOT_DEVICE_SPI
  20 #       default 2 if SPL_BOOT_DEVICE_MMC
  21
  22 endmenu
  23
  24 endif