5 GDBSERVER_PY
= $(src_dir
)/gdbserver.py
7 default
: spike
$(XLEN
) spike
$(XLEN
)-2
9 all-tests
: spike32 spike32-2 spike32-2-rtos spike64 spike64-2 spike64-2-rtos
14 pylint
--rcfile
=pylint.rc
`git ls-files '*.py'`
20 $(src_dir
)/targets
/RISC-V
/$@.py \
21 --sim_cmd
$(RISCV
)/bin
/$(RISCV_SIM
) \
22 --server_cmd
$(RISCV
)/bin
/openocd