original_kernel/arch/arm/mach-epxa10db
..
Kconfig
Makefile
Makefile.boot
arch.c
dma.c
irq.c
mm.c
time.c