diff options
| -rw-r--r-- | cheri/cheri_prelude_256.sail | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/cheri/cheri_prelude_256.sail b/cheri/cheri_prelude_256.sail index c1afbdb2..c75f588e 100644 --- a/cheri/cheri_prelude_256.sail +++ b/cheri/cheri_prelude_256.sail @@ -95,9 +95,9 @@ let default_cap : CapStruct = struct { padding = zeros(), otype = zeros(), uperms = ones(), - perm_reserved11_14 = zeros(), + perm_reserved11_14 = ones(), access_system_regs = true, - perm_reserved9 = false, + perm_reserved9 = true, permit_ccall = true, permit_seal = true, permit_store_local_cap = true, |