linux-stable-rt/arch/microblaze/platform
..
generic
Kconfig.platform
Makefile
platform.c