Kconfig
Makefile
efi_secret/
sev-guest/
tdx-guest/