rust-sel4

(★ 210)

Rust support for seL4 userspace

Owner Repos

sel4-tutorials ★ 61

Tutorials for working with seL4 and/or CAmkES.

Python
capdl ★ 44

Capability Distribution Language tools for seL4

Haskell
camkes-tool ★ 27

The main CAmkES tool

Python
camkes-manifest ★ 26

Top level project for CAmkES, a component platform that provides support for developing and building static seL4 systems as a collection of interacting components.
refos-manifest ★ 23

Reference Operating system based on seL4 --- example code
docs ★ 19

This is the source of the seL4 docs.

HTML

File Explorer

ZIP Download
  • .gitignore
  • Cargo.lock
  • Cargo.nix
  • Cargo.toml
  • default.nix
  • Makefile
  • README.md
  • rust-toolchain.toml
  • rustfmt.toml
  • VERSION

# Use via CDN

jsDelivr

jsDelivr serves any public GitHub repository as a CDN with zero setup. Pick a version and a file to get a ready-to-paste link and snippet.

Link
Example

Command Glossary

Commands referenced in this DOCs, explained below.

🔍

git clone

View Details ▼

Clone an existing repository.

git clone {{remote_repository_location}} {{path/to/directory}}

Clone an existing repository into a new directory (the default directory is the repository name):

git clone --recursive {{remote_repository_location}}

Clone an existing repository and its submodules:

git clone {{[-n|--no-checkout]}} {{remote_repository_location}}

Clone only the `.git` directory of an existing repository:

🔍

rustc

View Details ▼

The Rust compiler.
Rust projects usually use `cargo` instead of invoking `rustc` directly.

rustc {{path/to/main.rs}}

Compile a binary crate:

rustc {{[-C|--codegen]}} lto {{[-C|--codegen]}} opt-level={{0|1|2|3|s|z}} {{path/to/main.rs}}

Compile with optimizations (`s` means optimize for binary size; `z` is the same with even more optimizations):

rustc {{[-g|--codegen debuginfo=2]}} {{path/to/main.rs}}

Compile with debugging information:

// repository documentation