invisispec-1.0 configs

1 files changed, 11 insertions, 1 deletions

diff --git a/configs/common/Options.py b/configs/common/Options.py
index 536da44f0..5d92b446d 100644
--- a/configs/common/Options.py
+++ b/configs/common/Options.py
@@ -311,7 +311,17 @@ def addCommonOptions(parser):
     parser.add_option("--arm-iset", default="arm", type="choice",
                       choices=["arm", "thumb", "aarch64"],
                       help="ARM instruction set.")
-
+    # [InvisiSpec] add options to configure needsTSO and scheme
+    parser.add_option("--scheme", default=None, action="store", type="choice",
+            choices=["UnsafeBaseline", "FuturisticSafeFence",
+            "SpectreSafeFence", "FuturisticSafeInvisibleSpec",
+            "SpectreSafeInvisibleSpec"],
+            help="choose baseline or defense designs to evaluate")
+    parser.add_option("--needsTSO", default=None, action="store", type="int",
+                        help="Select TSO or RC. Set unzero to use TSO.")
+    parser.add_option("--allowSpecBuffHit", default=None, action="store",
+            type="int",
+            help="Allow to reuse spec buffer entries. Set unzero to reuse.")
 
 def addSEOptions(parser):
     # Benchmark options