WSL2-Linux-Kernel/drivers/virt/coco/efi_secret
..
Kconfig
Makefile
efi_secret.c