WSL2-Linux-Kernel/drivers/firmware/smccc
..
Kconfig
Makefile
kvm_guest.c
smccc.c
soc_id.c