Nick Spinale

The idea would be to have a build system (probably still Nix) generate a Cargo `config.toml` and test runner script for a matrix of configurations. The `config.toml` scripts would set...

Either using the `std` and `test`, or, for lower-level crates such as `sel4-panicking`, using a new low-level test harness that calls into Linux only for printing and aborting. - Use...

`nixfmt`: https://github.com/NixOS/nixfmt

The https://github.com/coliasgroup/nixpkgs/tree/rust-sel4 branch has two minor patches that should be upstreamed.

This will allow specs created withing Rust to be analyzed and operated on by tools that use the `.cdl` format.

The strict and exposed [provenance APIs](https://doc.rust-lang.org/std/ptr/index.html#provenance) offer a more general and rigorous way of constructing and deconstructing pointers. We should be using them instead of directly casting between pointers and...

feat(cli): Add support for completing `--config` argument values with `native-completions`

1

Add `value_hint` for the global `--config` argument to allow completing its value. The related https://github.com/rust-lang/cargo/pull/16245#issuecomment-3524529383 adds partial support to `src/etc/cargo.bashcomp.sh`. ### What does this PR try to resolve? Currently, `native-completions`...