original_kernel/arch/arm/mach-ks8695
..
include/mach
Kconfig
Makefile
Makefile.boot
board-dsm320.c
board-micrel.c
cpu.c
devices.c
generic.h
gpio.c
irq.c
leds.c
pci.c
time.c