WSL2-Linux-Kernel/arch/mips/pistachio
..
Makefile
Platform
init.c
irq.c
time.c