Module sel4_sys::api_object

Constants

• seL4_CapTableObject
• seL4_EndpointObject
• seL4_NonArchObjectTypeCount
• seL4_NotificationObject
• seL4_ReplyObject
• seL4_SchedContextObject
• seL4_TCBObject
• seL4_UntypedObject

Type Aliases

• Type