linux-stable-rt/arch/arm/plat-tcc
..
include/mach
Kconfig
Makefile
clock.c
system.c