11. Capability Kernel🔗

The capability kernel is the execution engine that schedules VMs, dispatches capability operations, and mediates all inter-VM communication. It sits between the JAVM instruction execution (which runs native code or interpreted bytecode) and the host (grey-state's refine/accumulate logic).

In jar1, the kernel replaces gp072's flat host-call dispatch. Instead of a single VM calling numbered host functions directly, jar1 VMs invoke capabilities via ecalli (CALL a cap) and ecall (management ops). Protocol capabilities (storage, preimages, transfers) exit to the host through the kernel's protocol cap dispatch. User capabilities (HANDLE, CALLABLE) trigger synchronous VM context switches within the kernel.

1. 11.1. Kernel State
2. 11.2. Kernel Results
3. 11.3. Capability Dispatch Results
4. 11.4. Capability Indirection Resolution
5. 11.5. CALL and REPLY
6. 11.6. VM Creation (RETYPE + CREATE)
7. 11.7. Memory Management
8. 11.8. Data Transfer
9. 11.9. Cap Table Operations
10. 11.10. RESUME
11. 11.11. ecall Dispatch
12. 11.12. Kernel Initialization and Execution