Switch to TSO

2021-04-22 18:22:02 +01:00
parent 9b88dc4ce0
commit 10b5cd7ad7
1 changed files with 1 additions and 0 deletions
--- a/src_SSITH_P3/Makefile
+++ b/src_SSITH_P3/Makefile
@@ -38,6 +38,7 @@ BSC_COMPILATION_FLAGS += \
 	-D CAP128 \
 	-D MEM64 \
 	-D RISCV \
+	-D TSO_MM \
 	-D INCLUDE_GDB_CONTROL \
 	-D BRVF_TRACE \
 	-D XILINX_BSCAN  -D JTAG_TAP