TDX-POL-01: TD attributes forbid debug, migration and host-injected #VE¶
| Property | Value |
|---|---|
| Severity | critical |
| Platform | Intel TDX fleets |
| Lifecycle stage | hardware |
| Policy | P-05: No debug TEEs in production |
| Evaluated from | Evidence sent to the service (collector bundles or registry scans), not from a cloud API scan. |
What it checks¶
It passes when:
- TD_ATTRIBUTES: DEBUG and MIGRATABLE are clear and SEPT_VE_DISABLE is set.
How to fix¶
- Launch the TD with DEBUG and MIGRATABLE clear and SEPT_VE_DISABLE set: a debuggable TD's memory is readable by the host, a migratable TD's state can be exported, and without SEPT_VE_DISABLE the host can inject #VE.
After the fix, scan again: the check should report PASS.
Related¶
- Other checks for policy P-05: CCA-POL-01, CSPACE-DEBUG-01, SE-POL-01, SGX-POL-01, SNP-POL-01
Generated from untrust 1.3.0 (commit 7ef462d9a0c3).