Module sel4::init_thread

source ·
Expand description

Items that are applicable within the context of the root task’s initial thread.

Modules§

Structs§

  • Slot
    The index of a slot in the initial thread’s root CNode.
  • SlotRegion
    Corresponds to seL4_SlotRegion.

Functions§