arch/microblaze/Kconfig

   1 menu "MicroBlaze architecture"
   2         depends on MICROBLAZE
   3
   4 config SYS_ARCH
   5         default "microblaze"
   6
   7 choice
   8         prompt "Target select"
   9
  10 config TARGET_MICROBLAZE_GENERIC
  11         bool "Support microblaze-generic"
  12         select SUPPORT_SPL
  13
  14 endchoice
  15
  16 source "board/xilinx/microblaze-generic/Kconfig"
  17
  18 endmenu