thermosphere: implement reading and writing guest memory

2020-01-20 02:24:02 +00:00
parent aebdb2a774
commit 2d32a812b7
22 changed files with 467 additions and 118 deletions
--- a/thermosphere/src/initSystem.c
+++ b/thermosphere/src/initSystem.c
@@ -41,7 +41,7 @@ static void initSysregs(void)
    SET_SYSREG(cntp_ctl_el0,    0x00000000);
    SET_SYSREG(cntv_ctl_el0,    0x00000000);

-    __dsb();
+    __dsb_local();
    __isb();
 }