original_kernel/arch/arm/mach-socfpga
..
include/mach
Makefile
Makefile.boot
socfpga.c