WSL2-Linux-Kernel/drivers/soc/ux500
..
Kconfig
Makefile
ux500-soc-id.c