Nick Spinale
Nick Spinale
https://github.com/briansmith/ring/pull/1937 enables Ring to be built with `target_os = "none"`, but the resulting configuration doesn't leverage hand-optimized assembly. Adding some kind of configuration modifier (e.g. a Cargo feature) that adds...
All tests except those depending on unwinding should be run with the oldest supported toolchain (which tracks Verus).
This would make it easier to wrangle the use of unstable features throughout the codebase, but would require downstream users to set `RUSTC_BOOTSTRAP`, which is frowned upon by the Rust...
Support the case where one wants all items not matching `never_line` to be inlined.
Rust 1.82 makes this the default: https://github.com/rust-lang/cargo/pull/14595 We can't switch until Verus moves to Rust 1.78+ (in progress upstream: https://github.com/verus-lang/verus/pull/1173). For now, an MSRV for the `sel4` crate keeps this...
Currently, the complicating factor is supporting moving backtrace data around without an allocator. This is a requirement, but could be done more simply by just using `ArrayVec` and requiring the...
It's time to revisit https://github.com/seL4/rust-sel4/issues/1. Aside from some remaining work to nail down, stabilizing, and documenting a few remaining public APIs, here are some questions that must be answered: ####...
I've noticed that the files `libsel4/sel4_arch_include/riscv32/sel4/sel4_arch/constants.h` and `libsel4/sel4_arch_include/riscv64/sel4/sel4_arch/constants.h` don't use the `SEL4_FORCE_LONG_ENUM` macro, whereas their counterparts in for other architectures do. Is this intentional? If not, I'll open a PR...
[`miniz_oxide`](https://crates.io/crates/miniz_oxide) This bug appeared in 0.8.0, and resulted in `miniz_oxide::inflate::decompress_slice_iter_to_slice` returning `miniz_oxide::inflate::TINFLStatus::Failed`, but only on `aarch32` and when compiled with `--release`. As far as I can tell, https://github.com/Frommi/miniz_oxide/pull/183 appears to...
Once it stabilizes, use the [`-Zbindeps`](https://doc.rust-lang.org/nightly/cargo/reference/unstable.html#artifact-dependencies) feature to simplify the build process for the `spawn-task` example. Right now, it is passed the path of the `spawn-task-child` binary via an environment...