9.13. Capability System🔗

The JAVM extends the base PVM with a capability-based execution model: multiple concurrent VMs, seL4-style capabilities for memory and code, and synchronous CALL/REPLY for inter-VM communication. See the JAVM Capability System chapter for capability types, cap tables, VM lifecycle, and ecalli dispatch. See the Capability Kernel chapter for the execution engine.