Expand description
Capability-bearing IPC message passing.
The microkernel handles only IPC, scheduling, and memory. Services
(filesystems, network, drivers) run as isolated user-space endpoints and
communicate exclusively through capability-bearing Messages routed by
the MessageRouter. A message can only be delivered to a channel the
sender holds a write Capability for, so resource access is mediated by
the capability system rather than ambient authority.
Structs§
- Message
- A capability-bearing message addressed to a channel.
- Message
Router - Routes messages between registered channels.
Enums§
- IpcError
- Errors from message routing.