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         optional
  10
  11 config TARGET_MICROBLAZE_GENERIC
  12         bool "Support microblaze-generic"
  13         select SUPPORT_SPL
  14
  15 endchoice
  16
  17 source "board/xilinx/microblaze-generic/Kconfig"
  18
  19 endmenu