Module init_thread

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

suspend_self

Suspends the initial thread using slot::TCB.