sel4_sys

Module api_object

Source

Constants§

seL4_CapTableObject
seL4_EndpointObject
seL4_NonArchObjectTypeCount
seL4_NotificationObject
seL4_ReplyObject
seL4_SchedContextObject
seL4_TCBObject
seL4_UntypedObject

Type Aliases§

Type