acrn-kernel/arch/arm/tools
..
Makefile
gen-mach-types
mach-types