acrn-kernel/arch/arm/mach-mediatek
..
Kconfig
Makefile
mediatek.c
platsmp.c