diff options
| author | Robert Norton | 2018-04-11 14:16:29 +0100 |
|---|---|---|
| committer | Robert Norton | 2018-04-12 12:32:22 +0100 |
| commit | 71ba9dc5c985d32d8d24803ed528f41beb6133dd (patch) | |
| tree | 444b5f0c970eb1c6e1d8e93057d5422c1469771f /cheri/Makefile | |
| parent | c45b3e5aefc637fec1a3b7caa1ad01f2a795d7bc (diff) | |
Add implementations of CReadHwr and CWriteHwr
Diffstat (limited to 'cheri/Makefile')
| -rw-r--r-- | cheri/Makefile | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/cheri/Makefile b/cheri/Makefile index 663c8763..fd8a22a9 100644 --- a/cheri/Makefile +++ b/cheri/Makefile @@ -107,4 +107,6 @@ extract: cheri_insts.sail $(call EXTRACT_INST,CStore) $(call EXTRACT_INST,CSC) $(call EXTRACT_INST,CLC) + $(call EXTRACT_INST,CReadHwr) + $(call EXTRACT_INST,CWriteHwr) |