original_kernel/arch/arm/mach-clps711x
..
include/mach
Kconfig
Makefile
Makefile.boot
board-autcpu12.c
board-cdb89712.c
board-clep7312.c
board-edb7211.c
board-p720t.c
common.c
common.h
devices.c
devices.h