Added the ZoneX Phase-0 partitioning demonstrator - #5

Merged

fdesbiens merged 40 commits into

eclipse-threadx:devfrom

fdesbiens:feature/zonex-core

Sep 9, 2026

Commits on Sep 8, 2026

Added the ZoneX repository foundation, build system and EL2 reference
fdesbiens
committed
3b07a22
Brought stage 2 to first light on the FVP and on S32Z280 silicon
fdesbiens
committed
9a3e3ba
Replaced WILL_FAIL with an explicit expected verdict in the FVP runner
fdesbiens
committed
709a31b
Added a check for local paths and unreachable references
fdesbiens
committed
ee7b3ae
Added the partition manifest types
fdesbiens
committed
ca39876
Recorded the manifest's type vocabulary and corrected D12
fdesbiens
committed
63812ab
Added the manifest validator and its host test suite
fdesbiens
committed
2721dcd
Added the region readback, the switch mask and the layout planner
fdesbiens
committed
82ea6c8
Proved two partitions deny each other, and measured the switch
fdesbiens
committed
589cccd
Recorded the PMU encodings, the mailbox and the switch cost
fdesbiens
committed
9c6bc39
Booted a real ThreadX kernel inside a stage-2 partition
fdesbiens
committed
1504c7c
Gave a partition a clock, and had its kernel preempted under stage 2
fdesbiens
committed
5e59329
Put ZoneX's guest support under a warnings-as-errors lane
fdesbiens
committed
4697e2b
Corrected D24: a partition tick needs FIQ routing, not interrupt injection
fdesbiens
committed
35635be
Caught a pinned ThreadX too old for the option the guest is built with
fdesbiens
committed
d2dde14
Closed three defects a partition switch would have made visible
fdesbiens
committed
1024e6e
Gave ZoneX a static major frame, and put it on the coverage floor
fdesbiens
committed
f87705f
Ended a partition's window with an interrupt it cannot mask
fdesbiens
committed
7800223
Ran two ThreadX partitions under one static frame, on both targets
fdesbiens
committed
1e01c48
Recorded D25, the switch measurements and the encodings they needed
fdesbiens
committed
72dbb1e
Taught the reference check to catch a roadmap identifier
fdesbiens
committed
f094a71
Measured the core clock, and found the figures qualified both ways
fdesbiens
committed
2664f3d
Brought the README up to what the repository actually does
fdesbiens
committed
4f886bf
Proved neither partition can reach the other, nor disturb its clock
fdesbiens
committed
e5a5bc8
Hardened the fault paths, and took the console off the window boundary
fdesbiens
committed
6d6fb45
Recorded the hardening pass: the ABI shape, the errata, coverage and WCET
fdesbiens
committed
b9e4cf8
Provoked the guards on the vectors that cannot resume, and fixed a name
fdesbiens
committed
795bd5b
Measured what a printing neighbour costs, and bounded the console spins
fdesbiens
committed
c488444
Removed the references a reader outside this repository cannot check
fdesbiens
committed
78df114
Narrowed the reference check to what a reader of this repository needs
fdesbiens
committed
a5eebcb
Brought the README's claim and its numbers up to what was measured
fdesbiens
committed
82acaa4
Gave ZoneX the build and hotfix version constants the suite carries
fdesbiens
committed
3cb4ad8
Moved the memory-type vocabulary out of the port and into the manifest
fdesbiens
committed
5403c5f
Moved the region granule in beside the rules that enforce it
fdesbiens
committed
5ab2ba1
Requoted the README from a run of the shipped revision
fdesbiens
committed
f69952d

Commits on Sep 9, 2026