diff options
Diffstat (limited to 'debug/risc-v-gsp-rm-vm/Makefile')
| -rw-r--r-- | debug/risc-v-gsp-rm-vm/Makefile | 31 |
1 files changed, 31 insertions, 0 deletions
diff --git a/debug/risc-v-gsp-rm-vm/Makefile b/debug/risc-v-gsp-rm-vm/Makefile new file mode 100644 index 0000000..a5103f5 --- /dev/null +++ b/debug/risc-v-gsp-rm-vm/Makefile @@ -0,0 +1,31 @@ +# green-eye convenience targets. The real work lives in the package. +PYTHON ?= python3 + +.PHONY: all demo test demo-run plugin probe-real clean info + +all: demo + +demo: + $(MAKE) -C firmware/uproc_demo + +test: demo + $(PYTHON) -m unittest discover -s tests -t . + +demo-run: demo + ./greeneye.sh demo --no-build + +info: + ./greeneye.sh info + +# Optional TCG plugin (needs the QEMU plugin headers; see qemu/README.md). +plugin: + $(MAKE) -C qemu + +# Run the real GSP fwimage for a bounded window and report first divergence. +probe-real: + ./greeneye.sh probe + +clean: + $(MAKE) -C firmware/uproc_demo clean + rm -rf dumps/* qemu/*.so qemu/*.o + find . -name __pycache__ -type d -exec rm -rf {} + 2>/dev/null || true |