1 files changed, 4 insertions, 0 deletions
diff --git a/risc-v/riscv.sail b/risc-v/riscv.sail
index c91a0104..5234d128 100644
--- a/risc-v/riscv.sail
+++ b/risc-v/riscv.sail
@@ -281,6 +281,10 @@ function clause execute (RTYPEW(rs2, rs1, rd, op)) =
   } in
   wGPR(rd, EXTS(result))
 
+union ast member unit EBREAK
+function clause decode (0b000000000001 : 0b00000 : 0b000 : 0b00000 : 0b1110011) = Some(EBREAK ())
+function clause execute EBREAK = { exit () }
+
 function clause decode _ = None
 
 end ast