From 3c3f95c23b873e30c1447ecc5587813f2694e3c9 Mon Sep 17 00:00:00 2001
From: John Hauser <31252952+jhauser-us@users.noreply.github.com>
Date: Thu, 18 Nov 2021 13:44:29 -0800
Subject: H extension requires page-based address translation (#778)

---
 src/hypervisor.tex | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

(limited to 'src/hypervisor.tex')

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.
-- 
cgit v1.1

