WSL2-Linux-Kernel/arch/arm/mach-artpec
..
Kconfig
Makefile
board-artpec6.c