Crate sel4_microkit_base
source ·Re-exports§
pub use handler::Never;
Macros§
- Declares a symbol via which the
microkit
tool can inject a memory region’s address, and returns the memory region’s address at runtime.
Structs§
- A channel between this protection domain and another, identified by a channel index.
- A handle to a child protection domain, identified by a child protection domain index.
- An action deferred for syscall coalescing using
Handler::take_deferred_action
. - Error type returned by
Channel::irq_ack
. - A
Handler
implementation which does not override any of the default method implementations.
Enums§
- A channel interface for which actions can be deferred.
- The error type for errors that can never happen.
Traits§
- Trait for the application-specific part of a protection domain’s main loop.
Functions§
- Returns whether this projection domain is a passive server.
- Returns the name of this projection domain.