From 10b5cd7ad77208733925d17f9bb452f24427f3a4 Mon Sep 17 00:00:00 2001
From: Peter Rugg <pdr32@cam.ac.uk>
Date: Thu, 22 Apr 2021 18:22:02 +0100
Subject: [PATCH] Switch to TSO

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

diff --git a/src_SSITH_P3/Makefile b/src_SSITH_P3/Makefile
index 9429c9c..002215a 100644
--- 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