diff options
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) |