capDL and x86_64 support in Microkit#337

Merged

Ivan-Velickovic merged 9 commits intoseL4:mainfrom

au-ts:capdl_dev

Oct 30, 2025

Commits on Oct 30, 2025

Transition to capDL
dreamliner787-9
committed
Add example for ARM SMC functionality
dreamliner787-9
committed
Add example for x86-64 ioport functionality
dreamliner787-9
committed
tool: succumb to clippy

Ivan-Velickovic
authored and
dreamliner787-9
committed
build_sdk.py: strip capdl initialiser debug info
dreamliner787-9
committed
"capdl_initialiser" -> "initialiser"

Ivan-Velickovic
authored and
dreamliner787-9
committed
build_sdk.py: add print for when zip is generated

Ivan-Velickovic
authored and
dreamliner787-9
committed
build_sdk.py: add --target-dir for initialiser

Ivan-Velickovic
authored and
dreamliner787-9
committed
sdf.rs: fix duplicate VMs check

Ivan-Velickovic
authored and
dreamliner787-9
committed