Nick Spinale
Nick Spinale
The [`microkit`](https://github.com/seL4/seL4/tree/microkit) branch has only two patches on top of `master`: https://github.com/seL4/seL4/commit/c8ef493d038b81cc43f82c0190788e4b3bdb4d9d, which modifies the boot protocol, and https://github.com/seL4/seL4/commit/92f0f3ab28f00c97851512216c855f4180534a60, which removes some obsolete Python imports for the sake of reducing...
`build.rs` determines whether the target platform is supported by PerlAsm using both `target_arch` and `target_os`. Instances of conditional compilation in both `src/` and `crypto/` were using just `target_arch` to determine...
Currently, the MicroKit tool fails if symbols it plans to patch (e.g. `microkit_name` or those referred to by `setvar_vaddr`) aren't present. One example of a case where this is inconvenient...
`sel4_cfg_struct`, `sel4_cfg_enum`, and `sel4_cfg_match` currently only support `sel4_cfg`.
2023 -> 2024
https://github.com/coliasgroup/capdl/tree/coliasgroup Adds support for exporting the spec as JSON for Rust.
The use of [Clippy](https://github.com/rust-lang/rust-clippy) is now required where applicable for seL4 Foundation projects.
The benefit of a `rust-toolchain.toml` would be enabling anyone building the Microkit SDK to know that they are building it with the same toolchain that upstream used for development and...
There are cases where it would be useful to be able specify the program image separately from the symbols that will be used to manipulate it. https://github.com/seL4/rust-sel4/pull/167 adds support for...