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...
Xargo.toml 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...