You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
Plan item W2 of the AArch64 level 3 plan (tracking #46). The Armv8-M ports own each partition's interrupt lines and refuse partition access to SPM peripherals; the AArch64 SPMC needs the same before its manifests can declare isolation level 3.
Origin
#29 rebase onto main's level 3 work; the AArch64 level 3 plan
What is needed
wt_arch_secure_irq_claim on the AArch64 SPMC routes through the shared wt_irq_claim: disable, Secure Group 0, clear pending, read back, fail closed (GICv2 and GICv3)
wt_platform_sp_peripherals for qemuvirt and versal: no partition owns MMIO today, so the table refuses every DEVICE resource
Context
Plan item W2 of the AArch64 level 3 plan (tracking #46). The Armv8-M ports own each partition's interrupt lines and refuse partition access to SPM peripherals; the AArch64 SPMC needs the same before its manifests can declare isolation level 3.
Origin
#29 rebase onto main's level 3 work; the AArch64 level 3 plan
What is needed
wt_arch_secure_irq_claimon the AArch64 SPMC routes through the sharedwt_irq_claim: disable, Secure Group 0, clear pending, read back, fail closed (GICv2 and GICv3)wt_platform_sp_peripheralsfor qemuvirt and versal: no partition owns MMIO today, so the table refuses every DEVICE resourceperiphspneg(a partition reads the Secure UART and faults) andperiphneg(the Normal world probes Secure MMIO; SKIP on versal-virt, which has no XPPU model, see Add a Versal hardware port with an XMPU and XPPU Normal-world fence #45)Blockers and dependencies
None. The interrupt claim is done on wolfTrust-dev2; the twins follow it.
Acceptance criteria
periphspnegpasses on virt gicv2 a35, virt gicv3 a72 and versal-virt with both engines;periphnegpasses on virt and SKIPs on versal-virtffa-sintand the ACSinterruptsgroup stay green