Temporarily pin renode release for sel4extension breakage

Bypass-Presubmit-Reason: CL topic verified
Change-Id: I26ad39fea3be5264b685773367541e918fa24f9c
2 files changed
tree: 078736d3dc57ad7fa66430f2f035d88c88e6e3cd
  1. patches/
  2. platforms/
  3. cantrip.mk
  4. cantrip_apps.mk
  5. cantrip_builtins.mk
  6. cantrip_sel4test.mk
  7. cantrip_tests.mk
  8. cantrip_tools.mk
  9. CONTRIBUTING.md
  10. helpmemake.awk
  11. LICENSE
  12. Makefile
  13. minisel.mk
  14. preamble.mk
  15. README.md
  16. setup.sh
  17. shodan.code-workspace
  18. toolchain.mk
  19. verilator.mk
README.md

Top Level Build repository

This is the project containing all the top-level build targets of all the projects within the GoB to set up the environment and build the e2e artifacts.