From 981f17bd983f152fd25dca6b834c0bccfc60469f Mon Sep 17 00:00:00 2001
From: Robert Norton
Date: Fri, 2 Mar 2018 12:54:43 +0000
Subject: cheri tests expect reserved permission bits to be initialised to one.

---
 cheri/cheri_prelude_256.sail | 4 ++--
 1 file 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,
-- 
cgit v1.2.3