12 releases
Uses old Rust 2015
| 0.0.28 | Apr 24, 2017 |
|---|---|
| 0.0.27 | Jan 11, 2017 |
| 0.0.23 | Dec 31, 2016 |
| 0.0.21 | Mar 12, 2016 |
| 0.0.6 | Dec 29, 2015 |
#3 in #sel4
13KB
246 lines
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
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.