Context
Tracking issue for the work that makes the isolation level 3 claim true on STM32H563, MIMXRT700 and the AArch64 ports, plus the AArch64 items deferred from #29. Each item below has its own issue; check it off when its PR merges.
Origin
#29; the FF-M isolation level 3 compliance plan
What is needed
wolfTurst-M
wolfTrust-A
Order is dependency order; the tag is priority (P0 now, P1 next, P2 needed, P3 later).
Blockers and dependencies
The private fixes land first. #29 merges before the AArch64 items. The documentation and claim issue lands last.
Acceptance criteria
Every item above is closed, and the claim issue records the tested SHAs.
Context
Tracking issue for the work that makes the isolation level 3 claim true on STM32H563, MIMXRT700 and the AArch64 ports, plus the AArch64 items deferred from #29. Each item below has its own issue; check it off when its PR merges.
Origin
#29; the FF-M isolation level 3 compliance plan
What is needed
wolfTurst-M
P0Private security fixes (tracked privately, land first)P1Manifest and isolation-level honestyP1Three-band split with the composition invariant and restart lifecycleP1Peripheral, MMIO, DMA and interrupt ownershipP1SPM and fault hardeningP2Hardware errata review per portP1Shared Cortex-M level 3 layer and level 3 bar for every portP2MIMXRT700 parity for the level 3 changes (on Share the isolation level 3 layer across Cortex-M ports instead of per board #65)wolfTrust-A
P1AArch64 keystore band split (closes with W5)P1Interrupt and peripheral ownership on the AArch64 SPMCP1AArch64 SPM hardeningP2Manifest-honesty negatives on AArch64P2QEMU AArch64 parity with the M33MU negativesP2FF-A power management messagesP2Level 3 documentation and the public claimP3Versal hardware port with an XMPU and XPPU fenceP1Shared AArch64 level 3 layerOrder is dependency order; the tag is priority (P0 now, P1 next, P2 needed, P3 later).
Blockers and dependencies
The private fixes land first. #29 merges before the AArch64 items. The documentation and claim issue lands last.
Acceptance criteria
Every item above is closed, and the claim issue records the tested SHAs.