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