diff options
Diffstat (limited to 'src/hypervisor.tex')
| -rw-r--r-- | src/hypervisor.tex | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/src/hypervisor.tex b/src/hypervisor.tex index 42d0846..5a9be40 100644 --- a/src/hypervisor.tex +++ b/src/hypervisor.tex @@ -31,7 +31,8 @@ The hypervisor extension depends on an ``I'' base integer ISA with 32 {\tt x} registers (RV32I or RV64I), not RV32E, which has only 16 {\tt x} registers. CSR {\tt mtval} must not be read-only zero, and -{\tt satp}.MODE must not be read-only zero (only Bare). +standard page-based address translation must be supported, either +Sv32 for RV32, or a minimum of Sv39 for RV64. The hypervisor extension is enabled by setting bit 7 in the {\tt misa} CSR, which corresponds to the letter H. |