Skip to main content

Module kernel

Module kernel 

Source
Expand description

Deterministic VM kernel API.

This module provides the canonical instruction-step entrypoints for the cooperative VM state machine. Driver layers (native single-thread, wasm, and adapter backends) should call this API instead of re-implementing stepping logic.

Structs§

VMKernel
Canonical cooperative kernel entrypoints.

Traits§

KernelMachine
Runtime machine that can execute one kernel scheduler round.