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