diff options
| author | Robert Norton | 2018-03-02 12:54:43 +0000 |
|---|---|---|
| committer | Robert Norton | 2018-03-02 13:44:11 +0000 |
| commit | 981f17bd983f152fd25dca6b834c0bccfc60469f (patch) | |
| tree | ef3eccd1c536f22be595ac40286b62ab20e5170c /cheri | |
| parent | b7f806b7c5df7b2809d9a9d014b0a4611e9bdcf7 (diff) | |
cheri tests expect reserved permission bits to be initialised to one.
Diffstat (limited to 'cheri')
| -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, |