Kernel Objects
Kernel makes use of the following primitive types:
- Capability Nodes
- Thread Control Blocks
- Low-level interrupt support: IRQControl, IRQHandlers
- Protection domain: Space
- Raw memory: Untyped
Containers for capabilities with a way to quickly search them.
While Vesper does not dictate any policies about thread control, it provides mechanisms for manipulating thread state if you are given a corresponding capability.
System support for interrupts includes enabling/disabling appropriate interrupt lines and access to capabilities that will be called when interrupts arrive.
Includes manipulation of default memory access rights and capabilities for accessing this memory from the outside.
Raw memory includes capabilities for access to untyped memory blobs and capabilities to retype this memory into different kernel or user memory objects.
