100644 blob 87d142c1f9321164d6b0cd49317c71e86b1b29d9	Kconfig
100644 blob 18c1aba5edb7911df8620959dd0e34b4e6f35b1f	Makefile
040000 tree 4082b3fe57b07ca0ef68ccbae6f2dde37c75910e	efi_secret
040000 tree 0c8580e09f91fdd02ebd5d0a1a745e8a459615f8	sev-guest
040000 tree 85af7957c1b96a71cd92aa4d39b714beb495647d	tdx-guest
100644 blob 9432d4e303f16b7f65fe8d21d39d0b27c2702674	tsm.c