From d441df4e7b766bed8cebd6caaee0daa5bc1c87e4 Mon Sep 17 00:00:00 2001 From: Jonathan Woodruff Date: Fri, 12 Aug 2022 14:54:01 +0000 Subject: [PATCH] Include RVFI tracing by default. --- builds/Resources/Include_Common.mk | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/builds/Resources/Include_Common.mk b/builds/Resources/Include_Common.mk index 78e580f..6c1369c 100644 --- a/builds/Resources/Include_Common.mk +++ b/builds/Resources/Include_Common.mk @@ -96,7 +96,7 @@ BSC_COMPILATION_FLAGS += \ -D RISCV \ -D PERFORMANCE_MONITORING \ -D RAS_HIT_TRACING \ - -D TSO_MM \ + -D TSO_MM -D RVFI\ -D NO_SPEC_TRAINING -D NO_SPEC_REDIRECT -D NO_SPEC_STRAIGHT_PATH -D SPEC_RSB_FIXUP -D MELTDOWN_CF \ -keep-fires -aggressive-conditions -no-warn-action-shadowing -check-assert \ -suppress-warnings G0020 -steps-max-intervals 10000000 \