src_dir ?= .
GDBSERVER_PY = $(src_dir)/gdbserver.py
-default: spike$(XLEN)-2
+default: spike$(XLEN) spike$(XLEN)-2
all-tests: spike32 spike32-2 spike32-2-rtos spike64 spike64-2 spike64-2-rtos
class Spike(object):
def __init__(self, target, halted=False, timeout=None, with_jtag_gdb=True,
- isa=None):
+ isa=None, progbufsize=None):
"""Launch spike. Return tuple of its process and the port it's running
on."""
self.process = None
self.isa = isa
+ self.progbufsize = progbufsize
if target.harts:
harts = target.harts
cmd += ["--isa", isa]
+ if not self.progbufsize is None:
+ cmd += ["--progsize", str(self.progbufsize)]
+ cmd += ["--debug-sba", "32"]
+
assert len(set(t.ram for t in harts)) == 1, \
"All spike harts must have the same RAM layout"
assert len(set(t.ram_size for t in harts)) == 1, \