Crate rvm_hal 

RVM Hardware Abstraction Layer

Platform-agnostic traits for the RVM microhypervisor, as specified in ADR-133. Concrete implementations are provided per target (AArch64, RISC-V, x86-64).

Subsystems

• Platform – top-level platform discovery and initialization
• MmuOps – stage-2 page table management
• TimerOps – monotonic timer and deadline scheduling
• InterruptOps – interrupt routing and masking

Design Constraints (ADR-133)

• All trait methods return RvmResult
• No unsafe in trait definitions (implementations may need it)
• Zero-copy: pass borrowed slices, never owned buffers

Traits

InterruptOps

Interrupt controller operations.

MmuOps

Stage-2 MMU operations for guest physical to host physical translation.

Platform

Top-level platform discovery and initialization.

TimerOps

Monotonic timer operations for deadline scheduling.