086cfb995894adca2206947d0b830151d95bdfa3
5 GDBSERVER_PY
= $(src_dir
)/gdbserver.py
7 default
: spike
$(XLEN
).log
9 all: spike32.log spike64.log
12 $(GDBSERVER_PY
) --isolate
--$(subst .log
,,$@
) --cmd
$(RISCV_SIM
) -- -v \
13 > $@
2>&1 || sed s
/^
/$@
:\
/ $@