FIX:the page entry problem of map kernel window

rel4team · Sep 12, 2024 · a30c40e · a30c40e
1 parent c6d8d92
commit a30c40e
Showing 1 changed file with 2 additions and 1 deletion.
diff --git a/sel4_vspace/src/arch/aarch64/pte.rs b/sel4_vspace/src/arch/aarch64/pte.rs
@@ -223,7 +223,8 @@ impl PTE {
             | (AF & 0x1) << 10
             | (SH & 0x3) << 8
             | (AP & 0x3) << 6
-            | (AttrIndx & 0x7) << 2;
+            | (AttrIndx & 0x7) << 2
+			| (0x1 << 0);
 
         PTE(val)
     }