Crate sel4_root_task

A runtime for root tasks.

This crate defines an entrypoint at _start that performs the following Rust language runtime and libsel4 initialization:

• Set up the stack
• Initialize thread-local storage (using stack memory)
• Set up exception handling
• Set the seL4 IPC buffer for libsel4 (using sel4::set_ipc_buffer)
• Run C-style constructors (from __init_array_start/__init_array_end)

After initialization, the entrypoint calls the root task main function, which must be declared with #[root_task]. For example:

#[root_task]
fn main(bootinfo: &sel4::BootInfo) -> ! {
    todo!()
}

Building root tasks using this crate does not require a custom linker script when using LLD. In particular, this crate is tested with the LLD binary that ships with rustc (rust-lld). Using a GNU linker will likely require a custom linker script.

Modules

panicking

Macros

abort

Aborts execution with a message.

debug_print

Like std::print!, except backed by debug_put_char.

debug_println

Like std::println!, except backed by debug_put_char.

Enums

Never

Stable alternative to !.

Constants

DEFAULT_STACK_SIZE

The default stack size used by #[root_task].

Traits

Termination

Trait for the return type of #[root_task] main functions.

Functions

set_global_allocator_mutex_notification

Provides the global allocator with a sel4::cap::Notification to use as a mutex..

Attribute Macros

root_task

Declares a function to be the root task’s main function.