5 GDBSERVER_PY
= $(src_dir
)/gdbserver.py
7 default
: spike
$(XLEN
).log
9 all: spike32.log spike64.log
12 $(GDBSERVER_PY
) --isolate
--spike32
--cmd
$(RISCV_SIM
) -- -v
> $@
2>&1
15 $(GDBSERVER_PY
) --isolate
--spike
--cmd
$(RISCV_SIM
) -- -v
> $@
2>&1