Search results

Prune build-time dependencies for core crates

Status: Open.

#347 In seL4/rust-sel4;

· nspin opened on May 27, 2026

Emit *WithMRs invocations for object method invocations when possible

Status: Open.

#341 In seL4/rust-sel4;

· nspin opened on Apr 28, 2026

Bug with capDL initialiser untyped allocation for high-address regions

Status: Open.

#319 In seL4/rust-sel4;

· Ivan-Velickovic opened on Jan 27, 2026

miniz_oxide bug impacting CapDL initializer on aarch32

Status: Open.

#300 In seL4/rust-sel4;

· nspin opened on Nov 12, 2025

Use cargo -Zbindeps for spawn-task example

Status: Open.

#293 In seL4/rust-sel4;

· nspin opened on Nov 7, 2025

Mechanism for running root task tests with less Nix

Status: Open.

#292 In seL4/rust-sel4;

· nspin opened on Nov 6, 2025

Test seL4-independent runtime crates outside of seL4

Status: Open.

#290 In seL4/rust-sel4;

· nspin opened on Nov 6, 2025

Use nixfmt for Nix code

Status: Open.

#288 In seL4/rust-sel4;

· nspin opened on Oct 30, 2025

nix: Upstream minor Nixpkgs patches to allow use of upstream Nixpkgs

Status: Open.

#287 In seL4/rust-sel4;

· nspin opened on Oct 30, 2025

Support exporting CapDL spec from sel4_capdl_initializer_types::Spec to .cdl

Status: Open.

#286 In seL4/rust-sel4;

· nspin opened on Oct 28, 2025

Use pointer provenance APIs

Status: Open.

#283 In seL4/rust-sel4;

· nspin opened on Oct 24, 2025

AbstractPtr<'_, _, [T], _>::index() and split_at() fail when range is self.len()..self.len()

Status: Open.

#281 In seL4/rust-sel4;

· lgs-confiware opened on Sep 8, 2025