S

sel4-start

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

Name
Last commit
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.rs Loading commit data...
lib.rs Loading commit data...
x86.rs Loading commit data...
x86_64.rs Loading commit data...