From dbc1443bf2ab2bd6ffa33f2a45ef005df87224ae Mon Sep 17 00:00:00 2001
From: Marno <Marno.van-der-Maas@cl.cam.ac.uk>
Date: Fri, 19 Mar 2021 15:30:11 +0000
Subject: [PATCH] Also using new tagsparams API in SSITH build

---
 src_SSITH_P3/Makefile | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src_SSITH_P3/Makefile b/src_SSITH_P3/Makefile
index 7bc517f..e6f693f 100644
--- a/src_SSITH_P3/Makefile
+++ b/src_SSITH_P3/Makefile
@@ -106,7 +106,7 @@ TAGS_ALIGN = 32
 tagsparams: src_BSV/TagTableStructure.bsv
 src_BSV/TagTableStructure.bsv: $(REPO)/libs/TagController/tagsparams.py
 	@echo "INFO: Re-generating CHERI tag controller parameters"
-	$^ -v -c $(CAPSIZE) -s $(TAGS_STRUCT:"%"=%) -a $(TAGS_ALIGN) --covered-start-addr 0xc0000000 --covered-mem-size 0xbfff8000 --top-addr 0x17ffff000 -b $@
+	$^ -v -c $(CAPSIZE) -s $(TAGS_STRUCT:"%"=%) -a $(TAGS_ALIGN) --data-store-base-addr 0x80000000 -b $@ 0x3fffc000 0xbffff000
 	@echo "INFO: Re-generated CHERI tag controller parameters"
 compile_sim: tagsparams
 compile_synth: tagsparams