choice
depends on ADK_LINUX_MICROBLAZE && !ADK_CHOOSE_TARGET_ARCH
prompt "Target system"

config ADK_CHOOSE_TARGET_SYSTEM_MICROBLAZE
        boolean "Choose target system"

source "target/microblaze/Config.in.systems"
endchoice