Crate sel4_microkit_base

Re-exports

• pub use handler::Never;

Macros

• 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.

Structs

• 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.

Enums

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

Traits

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

Functions

• 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.

Type Aliases

• MessageLabel
  Type alias for MessageInfo labels.
• MessageRegisterValue
  Type alias for message register values.