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

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

Last synced: about 1 year ago
JSON representation

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

• Host: GitHub
• URL: https://github.com/sel4/sel4-rust-tutorial-code
• Owner: seL4
• Created: 2025-06-19T04:38:41.000Z (about 1 year ago)
• Default Branch: solutions
• Last Pushed: 2025-07-15T03:55:03.000Z (about 1 year ago)
• Last Synced: 2025-07-15T08:47:37.311Z (about 1 year ago)
• Language: Rust
• Size: 244 KB
• Stars: 0
• Watchers: 0
• Forks: 1
• Open Issues: 0
• Metadata Files:
  • Readme: README.md
  • License: LICENSES/BSD-2-Clause.txt

Awesome Lists containing this project

README

          


# Tutorial: Using Rust in seL4 Userspace (Code Examples)

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

##### Book Repository

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

##### Book URL

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