QUALIFICATION RECORD · IP-3938
SONJE-P64 PASID / IOMMU / Authority-Version-Lock Access Guard RTL
Enforces PASID, domain, epoch, permission, expected-version and lock eligibility together at P64 memory acceptance.
Public evidence basis
- Stage / release
- Executed digital evidence
- Evidence
- Evidence retained in our records + formal/p64 access proof + P64 evidence
- Process
- Release-specific / not generalized
- PDK
- Release-specific / not generalized
- External qualification
- Not asserted by this website release