seL4/seL4-rust-tutorial

Materials for a tutorial on how to use Rust to build on top of seL4.

Stars: 1
Forks: 2
Open beginner issues: 0
Indexed issues: 2

Dominant language: Rust
License: No license data
Last GitHub push: Mar 31, 2026
Latest indexed: Sep 21, 2026
Contributing guide: Contributing guide
Code of conduct: Code of conduct
Beginner labels: No beginner labels indexed
PR merge metrics: No merged PRs in 30d

Beginner friendly Everything

Open All

2 open issues indexed

Note, in the text, which `rust-sel4` commit is being used Open

Difficulty 2/5 1-3 hours Newbie friendliness 35/100

seL4/seL4-rust-tutorial#4 · Opened Jul 13, 2025
Add test to make sure that both workspaces use the same `rust-sel4` commit Open

Difficulty 3/5 1-2 days Newbie friendliness 20/100

seL4/seL4-rust-tutorial#3 · Opened Jul 13, 2025

A short digest of beginner-friendly GitHub issues.