search

seL4 / rust-sel4

Rust support for seL4 userspace
116 stars 12 forks source link

Bump Rust toolchain #133

Closed nspin closed 5 months ago

nspin commented 5 months ago

nightly-2024-03-09 -> nightly-2024-05-01