Repository navigation

Fix approach used for making PDs passive - #535

Open

dreamliner787-9 wants to merge 5 commits into

au-ts:passive_improve

Commits on Jun 19, 2026
- tool/elf: decouple program headers from segments
  dreamliner787-9
  committed
  a6e34f9
- tool/elf: refactored program headers table mgmt
  dreamliner787-9
  committed
  0c8df63
- tool/elf: + segment with multiple program headers
  dreamliner787-9
  committed
  c7abd5a
Commits on Jun 22, 2026
- Switch rust-sel4 to mainline commit
  dreamliner787-9
  committed
  d9b1e0a
- Make passive PD in initialiser rather than monitor
  dreamliner787-9
  committed
  a1e7268