# # For a description of the syntax of this configuration file, # see extra/config/Kconfig-language.txt # config TARGET_ARCH string default "microblaze"