Nick Spinale

aarch64: fix storing of thread context

13

`TPIDR_EL0` and `TPIDRRO_EL0` had been omitted from the storing of thread context upon kernel entry. This PR corrects that omission.

Path towards organizing Rust source into `crates/` directories.

1

Rust projects with many crates conventionally have a top-level directory called `crates/` or `src/`, which contains all or most of the project's Rust source. Doing this for Veracruz would yield...

**Requested feature** IceCap must provide source of randomness for realms. Once IceCap itself has this feature, the Runtime Manager can itself use it for RNG, and it can also in...

**Requested feature** IceCap must provide a way for realms to attest their authenticity and configuration. Once IceCap itself supports attestation for realms, Veracruz must use this feature for attestation of...

This PR corrects three instances of the same misspelling.

Unclobber interface XML files

6

The following groups of files conflict when the `arch_include` and `sel4_arch_include` directories are overlaid: - `arch_include/*/interfaces/sel4arch.xml` - `sel4_arch_include/*/interfaces/sel4arch.xml` This PR renames them to: - `arch_include/*/interfaces/sel4-arch.xml` - `sel4_arch_include/*/interfaces/sel4-sel4arch.xml` Now, when the...

`physBase` isn't aligned properly on `ARM_HYP`

1

`physBase` is required to be aligned to `seL4_SuperSectionBits`: https://github.com/seL4/seL4/blob/c9989664e312d971048f687895d4917758fcfd3b/include/arch/arm/arch/32/mode/hardware.h#L98-L100 On `ARM_HYP`, `seL4_SuperSectionBits = 25`: https://github.com/seL4/seL4/blob/c9989664e312d971048f687895d4917758fcfd3b/libsel4/sel4_arch_include/aarch32/sel4/sel4_arch/constants.h#L195 However, in `hardware/config.py` the value of `SUPERSECTION_BITS` is hard-coded to `24`, its value on `ARM`:...

capDL-tool, capdl-loader-app: Add support for binding notifications for TCBs

4

This will be required by [Microkit](https://github.com/seL4/microkit).

https://github.com/seL4/capdl/pull/12 (authored by me - sorry) introduced an inconsistency in macro capitalization in `capdl-loader-app`. This trivial change corrects it.

This crate could be generalized by abstracting `VolatileRef` and `VolatilePtr` over the set of memory access operations to be used. The core idea of declaring a region of memory to...