From 6f92bc1d47988742715463a54e2d2b613e5025db Mon Sep 17 00:00:00 2001 From: Iru Cai Date: Thu, 28 Feb 2019 17:07:41 +0800 Subject: invisispec-1.0 configs --- configs/common/Options.py | 12 +++++++++++- 1 file changed, 11 insertions(+), 1 deletion(-) (limited to 'configs/common/Options.py') 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 -- cgit v1.2.3