(configs/armv9p4) add config where MMU is on

rems-project · Jul 3, 2024 · abd4e74 · abd4e74
1 parent 2dee55a
commit abd4e74
Show file tree

Hide file tree

Showing 2 changed files with 550 additions and 1 deletion.
diff --git a/configs/armv9p4.toml b/configs/armv9p4.toml
@@ -122,7 +122,6 @@ ignore = [
 
 # Turn off anything debugging/performance monitoring sounding
 "CTIDEVCTL" = "{ bits = 0x0000000000000000 }"
-"EDESR" = "{ bits = 0x0000000000000000 }"
 "MDCR_EL2" = "{ bits = 0x0000000000000000 }"
 "PMCR_EL0" = "{ bits = 0x0000000000000000 }"
 "_HDCR" = "{ bits = 0x0000000000000000 }"