Expand description
High-level Kernel API wrapping the verified state machine.
The Kernel struct provides an ergonomic interface over the
state machine. All operations delegate to the verified core.
Structs§
- Kernel
- High-level kernel interface wrapping the verified state machine.