S

sel4-start

Crate defining the entry point for the initial thread using Rust on seL4

Name Last update
.gitignore Loading commit data...
.gitlab-ci.yml Loading commit data...
CONTRIBUTING.md Loading commit data...
Cargo.toml Loading commit data...
LICENSE-APACHE Loading commit data...
LICENSE-MIT Loading commit data...
README.md Loading commit data...
alloc.rs Loading commit data...
arm.s Loading commit data...
build.rs Loading commit data...
lib.rs Loading commit data...
x86.s Loading commit data...
x86_64.s Loading commit data...