original_kernel/arch/arm/mach-tcc8k
..
Kconfig
Makefile
Makefile.boot
board-tcc8000-sdk.c
clock.c
common.h
devices.c
io.c
irq.c
time.c