Browse Source

[Pal/regression] Document why memory permission/dealloc test fail on SGX

Simon Gaiser 6 years ago
parent
commit
7948e2eae8
1 changed files with 4 additions and 0 deletions
  1. 4 0
      Pal/regression/02_Memory.py

+ 4 - 0
Pal/regression/02_Memory.py

@@ -17,6 +17,10 @@ regression.add_check(name="Memory Allocation",
 regression.add_check(name="Memory Allocation with Address",
     check=lambda res: "Memory Allocation with Address OK" in res[0].log)
 
+# SGX1 does not support unmapping a page or changing its permission after
+# enclave init. Therefore the memory protection and deallocation tests will
+# fail. By utilizing SGX2 it's possibile to fix this.
+
 regression.add_check(name="Memory Protection", flaky = sgx,
     check=lambda res: "Memory Allocation Protection (RW) OK" in res[0].log and
                       "Memory Protection (R) OK" in res[0].log)