https://github.com/sel4/sel4-rust-tutorial

Materials for a tutorial on how to use Rust to build on top of seL4.
https://github.com/sel4/sel4-rust-tutorial

Last synced: about 1 year ago
JSON representation

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

• Host: GitHub
• URL: https://github.com/sel4/sel4-rust-tutorial
• Owner: seL4
• Created: 2025-06-19T04:44:40.000Z (about 1 year ago)
• Default Branch: main
• Last Pushed: 2025-07-15T05:41:14.000Z (about 1 year ago)
• Last Synced: 2025-07-15T08:49:19.543Z (about 1 year ago)
• Language: Rust
• Size: 18.6 MB
• Stars: 0
• Watchers: 0
• Forks: 2
• Open Issues: 2
• Metadata Files:
  • Readme: README.md
  • Contributing: .github/CONTRIBUTING.md
  • License: LICENSES/BSD-2-Clause.txt
  • Code of conduct: .github/CODE_OF_CONDUCT.md
  • Codeowners: .github/CODEOWNERS

Awesome Lists containing this project

README

          


# Tutorial: Using Rust in seL4 Userspace

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

Hosted at https://sel4.github.io/seL4-rust-tutorial/