Crate sel4_microkit_base

Help

Re-exports§

memory_region_symbol: Declares a symbol via which the microkit tool can inject a memory region’s address, and returns the memory region’s address at runtime.
var: Declares a symbol via which the microkit tool can inject a variable declared by e.g. setvar_vaddr, and returns the variable’s value at runtime.

Channel: A channel between this protection domain and another, identified by a channel index.
Child: A handle to a child protection domain, identified by a child protection domain index.
DeferredAction: An action deferred for syscall coalescing using Handler::take_deferred_action.
DeferredActionSlot: Utility type for implementing Handler::take_deferred_action.
IrqAckError: Error type returned by Channel::irq_ack.
MessageInfo: Corresponds to microkit_msginfo.
NullHandler: A Handler implementation which does not override any of the default method implementations.

DeferredActionInterface: A channel interface for which actions can be deferred.
Infallible: The error type for errors that can never happen.

Handler: Trait for the application-specific part of a protection domain’s main loop.

get_mr: Corresponds to microkit_mr_get.
ipc_buffer_ptr: Returns a pointer to the protection domain’s sel4::IpcBuffer.
pd_is_passive: Returns whether this protection domain is a passive server.
pd_name: Returns the name of this protection domain.
set_mr: Corresponds to microkit_mr_set.
with_msg_bytes: Provides access to the protection domain’s message registers, viewed as an array of bytes.
with_msg_bytes_mut: Provides mutable access to the protection domain’s message registers, viewed as an array of bytes.
with_msg_regs: Provides access to the protection domain’s message registers.
with_msg_regs_mut: Provides mutable access to the protection domain’s message registers.