linux-stable-rt/arch/microblaze
..
boot
configs
include/asm
kernel
lib
mm
oprofile
platform
Kconfig
Kconfig.debug
Makefile