docs.rs failed to build selfe-start-0.1.0
Please check the build logs for more information.
See Builds for ideas on how to fix a failed build, or Metadata for how to configure docs.rs builds.
If you believe this is docs.rs' fault, open an issue.
Please check the build logs for more information.
See Builds for ideas on how to fix a failed build, or Metadata for how to configure docs.rs builds.
If you believe this is docs.rs' fault, open an issue.
selfe-start
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
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.