Search results

<code>miniz_oxide</code> bug impacting CapDL initializer on <code>aarch32</code>

Status: Open.

#300 In seL4/rust-sel4;

· nspin opened on Nov 12, 2025

Use <code>cargo -Zbindeps</code> for <code>spawn-task</code> 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 <code>nixfmt</code> 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 <code>sel4_capdl_initializer_types::Spec</code> to <code>.cdl</code>

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

<code>AbstractPtr&lt;'_, _, [T], _&gt;::index()</code> and <code>split_at()</code> fail when range is <code>self.len()..self.len()</code>

Status: Open.

#281 In seL4/rust-sel4;

· lgs-confiware opened on Sep 8, 2025

term "granule" used through rust-sel4 crates not in sel4 itself

Status: Open.

#277 In seL4/rust-sel4;

· midnightveil opened on Jul 18, 2025

How to access a capability from an AbsoluteCPtr

Status: Open.

#271 In seL4/rust-sel4;

· samledden04 opened on Jun 24, 2025

Reads and writes to the IPC buffer are not marked as volatile

enhancementNew feature or requestNew feature or request

questionFurther information is requestedFurther information is requested

Status: Open.

#256 In seL4/rust-sel4;

· alwin-joshy opened on May 21, 2025