kernel-fxtec-pro1x/arch/microblaze/platform
..
generic
Kconfig.platform
Makefile
platform.c