Files
thead-kernel/arch/microblaze/Kconfig.platform