WSL2-Linux-Kernel/arch/mips/paravirt
..
Kconfig
Makefile
Platform
paravirt-irq.c
paravirt-smp.c
serial.c
setup.c