linux-stable-rt/arch/arm/tools
..
Makefile
gen-mach-types
mach-types