WSL2-Linux-Kernel/drivers/reset/tegra
..
Kconfig
Makefile
reset-bpmp.c