acrn-kernel/arch/arm/mach-artpec
..
Kconfig
Makefile
board-artpec6.c