Allowing CSeal to set otype to any value between 0 and 7 for EX capab…

…ilities
CHERIoT-Platform · Sep 13, 2024 · 43dead9 · 43dead9
1 parent caf3bd5
commit 43dead9
Showing 1 changed file with 2 additions and 1 deletion.
diff --git 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