Remove cheri and mips specs -- they now have their own repository.

1 files changed, 0 insertions, 22 deletions

diff --git a/cheri/sail_latexcc/sailccCapStruct.tex b/cheri/sail_latexcc/sailccCapStruct.tex
deleted file mode 100644
index b1df7ec5..00000000
--- a/cheri/sail_latexcc/sailccCapStruct.tex
+++ /dev/null
@@ -1,22 +0,0 @@
-struct CapStruct = {
-  tag                    : bool    ,
-  uperms                 : #\hyperref[zbits]{bits}#(4) ,
-  access_system_regs     : bool    ,
-  permit_unseal          : bool    ,
-  permit_ccall           : bool    ,
-  permit_seal            : bool    ,
-  permit_store_local_cap : bool    ,
-  permit_store_cap       : bool    ,
-  permit_load_cap        : bool    ,
-  permit_store           : bool    ,
-  permit_load            : bool    ,
-  permit_execute         : bool    ,
-  global                 : bool    ,
-  reserved               : #\hyperref[zbits]{bits}#(2) ,
-  E                      : #\hyperref[zbits]{bits}#(6) ,
-  sealed                 : bool    ,
-  B                      : #\hyperref[zbits]{bits}#(20),
-  T                      : #\hyperref[zbits]{bits}#(20),
-  otype                  : #\hyperref[zbits]{bits}#(24),
-  address                : #\hyperref[zbits]{bits}#(64)
-}