acrn-kernel/arch/arm/mach-vt8500
..
Kconfig
Makefile
Makefile.boot
vt8500.c