040000 tree e62cf274c938513ea493ca1d9c24868fac85541e	efi_secret
040000 tree a8ee973a537fa23280c325697d47ce40871fb551	sev-guest
040000 tree 7efd8595de6378c950ee56545fc448b7321fcdee	tdx-guest