Files: /_sources/security/snp-tdx-threat-model.rst.txt