From d60088a014c2da5253e88144b2574ec4b87fd0dc Mon Sep 17 00:00:00 2001 From: Palmer Dabbelt Date: Mon, 15 May 2017 15:36:55 -0700 Subject: [PATCH] Don't rely on Spike's default ISA --- debug/testlib.py | 4 +++- 1 file changed, 3 insertions(+), 1 deletion(-) diff --git a/debug/testlib.py b/debug/testlib.py index d3a75f6..c39ed51 100644 --- a/debug/testlib.py +++ b/debug/testlib.py @@ -67,7 +67,9 @@ class Spike(object): spike = os.path.expandvars("$RISCV/bin/spike") cmd = [spike] if xlen == 32: - cmd += ["--isa", "RV32"] + cmd += ["--isa", "RV32G"] + else: + cmd += ["--isa", "RV64G"] if timeout: cmd = ["timeout", str(timeout)] + cmd -- 2.30.2