Add support for domain scheduling#175

Open

JE-Archer wants to merge 9 commits intoseL4:mainfrom

JE-Archer:domains

Commits on Feb 28, 2025

build_sdk.py: add flag to enable domain scheduler
Ivan-Velickovic
committed
tool: add support for kernel domain scheduler

JE-Archer
authored and
Ivan-Velickovic
committed
docs: add documentation for domain scheduling

JE-Archer
authored and
Ivan-Velickovic
committed
tool: use Vec::with_capacity constructor

JE-Archer
authored and
Ivan-Velickovic
committed
tool: clarify units in domain scheduling constant

JE-Archer
authored and
Ivan-Velickovic
committed
docs: fix unit of time

JE-Archer
authored and
Ivan-Velickovic
committed
docs: clarify repeated domains in schedule

JE-Archer
authored and
Ivan-Velickovic
committed
tool: Set VM VCPU TCB domain to its PDs domain

Furao
authored and
Ivan-Velickovic
committed
Fix for rebase issue
Ivan-Velickovic
committed