Google Git
Sign in
opensecura / build / 45d8f78eb5893ea9736deb03ef267b380704c020
commit45d8f78eb5893ea9736deb03ef267b380704c020[log] [tgz]
authorCindy Liu <hcindyl@google.com>Fri Jun 07 00:05:56 2024 +0000
committerCindy Liu <hcindyl@google.com>Fri Jun 07 01:19:03 2024 +0000
treef20e929c21c5e0782befe6d762acd9673ce6b2d6
parent26fdc58e95e4bbaeb7c1fffc5388f1e3493f09d4 [diff]
Revert "Temporarily pin renode release for sel4extension breakage"

Revert submission 57194-renode-sel4extension

Reason for revert: <API out of sync fixed in the renode nightly release>

Reverted changes: /q/submissionid:57194-renode-sel4extension

Bypass-Presubmit-Reason: Pass presubmit in topic

Change-Id: Ib2f495407acaa5d1dcf22591d0b02bb728df82af
2 files changed
tree: f20e929c21c5e0782befe6d762acd9673ce6b2d6
  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.