1 files changed, 9 insertions, 4 deletions
diff --git a/aarch64_small/armV8.sail b/aarch64_small/armV8.sail
index 5754b159..40a28d35 100644
--- a/aarch64_small/armV8.sail
+++ b/aarch64_small/armV8.sail
@@ -367,7 +367,8 @@ function clause execute ( Hint(op) ) = {
     SystemHintOp_YIELD  =>
       Hint_Yield(),
 
-    SystemHintOp_WFE  => {
+    SystemHintOp_WFE  => /* FIXME: implement events?
+    {
       if EventRegistered() then
         ClearEventRegister()
       else {
@@ -379,7 +380,7 @@ function clause execute ( Hint(op) ) = {
           AArch64_CheckForWFxTrap(EL3, true);
         WaitForEvent();
       }
-    },
+    } */ (),
 
     SystemHintOp_WFI  => {
       if ~(InterruptPending()) then {
@@ -394,10 +395,14 @@ function clause execute ( Hint(op) ) = {
     },
 
     SystemHintOp_SEV  =>
-      SendEvent(),
+      /* FIXME: implement events?
+      SendEvent() */
+      (),
 
     SystemHintOp_SEVL  =>
-      EventRegisterSet(),
+      /* FIXME: implement events?
+      EventRegisterSet()*/
+      (),
 
     _  => () /* do nothing */
   }