From 193c0e3258d9fc2bbc458ff106667d3209661279 Mon Sep 17 00:00:00 2001
From: Peter Rugg <pdr32@cam.ac.uk>
Date: Tue, 19 Mar 2019 17:46:28 +0000
Subject: [PATCH] Add exports required to use Cap types

---
 CHERICC_Fat.bsv | 26 ++++++++++++++++++++++++++
 1 file changed, 26 insertions(+)

diff --git a/CHERICC_Fat.bsv b/CHERICC_Fat.bsv
index 28a4339..82be11b 100644
--- a/CHERICC_Fat.bsv
+++ b/CHERICC_Fat.bsv
@@ -32,6 +32,32 @@ package CHERICC_Fat;
 import DefaultValue :: *;
 import CHERICap     :: *;
 
+export CapMem;
+export CapReg;
+export CapPipe;
+
+// -----
+// Auxiliary requried imports. TODO find a way around this?
+
+export CapFat;
+export MW;
+export OTypeW;
+export Perms;
+export ResW;
+export LCapAddress;
+export Format;
+export TempFields;
+export Bounds;
+export UPermW;
+export CapW;
+export ExpW;
+export CapAddressW;
+export CBoundsW;
+export HPerms;
+export PermsW;
+export Exp;
+export MetaInfo;
+
 // ===============================================================================
 
 typedef struct {