Module sel4_sys::seL4_RootCNodeCapSlots

Constants

• seL4_CapASIDControl
• seL4_CapBootInfoFrame
• seL4_CapDomain
• seL4_CapIOPortControl
• seL4_CapIOSpace
• seL4_CapIRQControl
• seL4_CapInitThreadASIDPool
• seL4_CapInitThreadCNode
• seL4_CapInitThreadIPCBuffer
• seL4_CapInitThreadSC
• seL4_CapInitThreadTCB
• seL4_CapInitThreadVSpace
• seL4_CapNull
• seL4_CapSMC
• seL4_CapSMMUCBControl
• seL4_CapSMMUSIDControl
• seL4_NumInitialCaps

Type Aliases

• Type