WSL2-Linux-Kernel/arch/nios2/platform
..
Kconfig.platform
Makefile
platform.c