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

sel4-start

Crates.io

Documentation

This crate defines the entry point _sel4_start and a Rust #[lang = "start"] entry point which the _sel4_start calls after initializing the global BootInfo instance which is also defined in this crate. This is used only for the "initial thread" of the system, which is the first thread that seL4 starts. In the BootInfo are many wonderous things. See the seL4 manual, table 9.2 on page 39, for canonical information about the content of the BootInfo.

The initial thread is created with 16K of stack space.

Status

Complete.