Uses old Rust 2015
|0.1.0||Jan 21, 2022|
|0.0.28||Jan 21, 2022|
This is a local fork of sel4-start.
This crate defines the entry point
_sel4_start and a Rust
#[lang = "start"] entry point which the
_sel4_start calls after initializing the
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
The initial thread is created with 16K of stack space.