menu "MicroBlaze architecture"
  	depends on MICROBLAZE
  
  config SYS_ARCH
  	default "microblaze"
  
  choice
  	prompt "Target select"
  
  config TARGET_MICROBLAZE_GENERIC
  	bool "Support microblaze-generic"
  	select SUPPORT_SPL
  
  endchoice
  
  source "board/xilinx/microblaze-generic/Kconfig"
  
  endmenu