WSL2-Linux-Kernel/arch/riscv/configs/32-bit.config