original_kernel/arch/arc/plat-arcfpga
..
include/plat
Kconfig
Makefile
irq.c
platform.c
smp.c