sel4

Module init_thread

Source
Expand description

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

Modules§

  • slot
    Initial CSpace slot constants corresponding to seL4_Cap*.

Structs§

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

Functions§