Cheri-research/Toooba
1
0
Fork 0
Code Issues 1 Pull Requests Actions Packages Projects Releases Wiki Activity

Enable RVFI by default for bluesim builds

Browse Source
This commit is contained in:
Peter Rugg
2022-03-09 14:58:11 +00:00
parent d005d4ea61
commit 00c0021479
2 changed files with 7 additions and 0 deletions
Download Patch File Download Diff File Expand all files Collapse all files

5
builds/RV64ACDFIMSUxCHERI_Toooba_bluesim/Makefile
View File

@@ -3,6 +3,11 @@
REPO ?= ../..
ARCH ?= RV64ACDFIMSUxCHERI
# ================================================================
# Path to RISCY-OOO sources not included in Common
EXTRA_DIRS = $(RISCY_HOME)/../../src_Verifier:$(RISCY_HOME)/../../src_Verifier/BSV-RVFI-DII
# ================================================================
# RISC-V config macros passed into Bluespec 'bsc' compiler

2
builds/Resources/Include_bluesim.mk
View File

@@ -15,6 +15,8 @@ build_dir:
ifeq (,$(filter clean full_clean,$(MAKECMDGOALS)))
include .depends.mk
BSC_COMPILATION_FLAGS += -D RVFI
.depends.mk: TagTableStructure.bsv StatCounters.bsv GenerateHPMVector.bsv | build_dir
if ! bluetcl -exec makedepend -elab -sim $(TMP_DIRS) $(RTL_GEN_DIRS) $(BSC_COMPILATION_FLAGS) -p $(BSC_PATH) -o $@ $(TOPFILE); then rm -f $@ && false; fi
endif