From 43dead94f190f87b1bb18a7fe46add98ec97803c Mon Sep 17 00:00:00 2001
From: Kunyan Liu <116126768+kliuMsft@users.noreply.github.com>
Date: Wed, 11 Sep 2024 10:43:35 -0700
Subject: [PATCH] Allowing CSeal to set otype to any value between 0 and 7 for
 EX capabilities

---
 src/cheri_insts.sail | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/src/cheri_insts.sail b/src/cheri_insts.sail
index 7c6dba9..3a967df 100644
--- a/src/cheri_insts.sail
+++ b/src/cheri_insts.sail
@@ -715,7 +715,8 @@ function clause execute (CSeal(cd, cs1, cs2)) = {
         1 => true, /* otype_sentry */
         2 => true, /* otype_sentry_id */
         3 => true, /* otype_sentry_ie */
-        /* 4 and 5 are reserved */
+        4 => true, /* otype_sentry_bid */
+        5 => true, /* otype_sentry_bie */
         6 => true,
         7 => true,
         _ => false