/kernel/arch/microblaze/

• ../
• Kconfig
• Kconfig.debug
• Kconfig.platform
• Makefile
• boot
• configs
• include
• kernel
• lib
• mm
• oprofile
• pci