New virtual memory implementation (Sv39)

diff --git a/env b/env
index fe2bd085aaef12c043672b2bb07fc1daab9ce598..433e0094a68116503a24a3759b3b0347431ec632 160000 (submodule)
--- a/env
+++ b/env
@@ -1 +1 @@
-Subproject commit fe2bd085aaef12c043672b2bb07fc1daab9ce598
+Subproject commit 433e0094a68116503a24a3759b3b0347431ec632

diff --git a/isa/rv64mi/dirty.S b/isa/rv64mi/dirty.S
index f343cf913847fa01e5fd9d19d3b0ca69423135a9..ef4e65c0a6537817a28b2288a0225c0ce21bb97b 100644 (file)
--- a/isa/rv64mi/dirty.S
+++ b/isa/rv64mi/dirty.S
@@ -73,10 +73,10 @@ die:
   RVTEST_FAIL
 
 .data
-.align 13
-page_table_1: .dword PTE_V | PTE_SX | PTE_SR
+.align 12
+page_table_1: .dword PTE_TYPE_US_SRX
 dummy: .dword 0
-.align 13
-page_table_2: .dword PTE_V | PTE_SX | PTE_SR | PTE_SW
+.align 12
+page_table_2: .dword PTE_TYPE_US_SRWX
 
 RVTEST_CODE_END