original_kernel/arch/arm/mach-versatile
..
Kconfig
Makefile
Makefile.boot
clock.c
clock.h
core.c
core.h
pci.c
versatile_ab.c
versatile_pb.c