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
+ cmd += ["-m0x10000000:0x10000000"]
+
if halted:
cmd.append('-H')
if with_jtag_gdb:
self.gdb.command(
"target extended-remote localhost:%d" % self.server.port)
- self.gdb.p("$priv=3")
+ # FIXME: OpenOCD doesn't handle PRIV now
+ #self.gdb.p("$priv=3")
def classTeardown(self):
del self.gdb