Reimplemented context switching between security domains#41

Merged

wojciechozga merged 12 commits intomainfrom woz/ctxswitch

Mar 7, 2024

+1,756-5,496

Commits on Feb 18, 2024

Cleaning unused references and unnecessary features declarations in Rust code. Simplifying the build scripts. Pass on the documentation (README and DEVELOPMENT)
wojciechozga
committed

Commits on Feb 27, 2024