acrn-kernel/arch/arm/mach-vexpress
..
include/mach
Kconfig
Makefile
Makefile.boot
core.h
v2m.c