original_kernel/arch/microblaze/platform
..
generic
Kconfig.platform
Makefile
platform.c