Skip to content

Commit

Permalink
examples/rust: update rust-seL4 version
Browse files Browse the repository at this point in the history 
Necessary since there was a change in the Microkit SDK that
affects the Rust stuff. We're using a fairly old version of
rust-seL4 hence why we need to update.

Toolchain needs to be updated as well due to use of unstable
features.
  • Loading branch information
@Ivan-Velickovic
Ivan-Velickovic committed Feb 22, 2024
1 parent 414b41c commit 8b3f4d4
Show file tree
Hide file tree
Showing 2 changed files with 262 additions and 164 deletions.
Loading

0 comments on commit 8b3f4d4

Please sign in to comment.