Google Git
Sign in
opensecura / sim / config / 5f59af7f1c0846f79de592f6b14f1109fca1ceca
commit5f59af7f1c0846f79de592f6b14f1109fca1ceca[log] [tgz]
authorSam Leffler <sleffler@google.com>Fri May 31 14:10:59 2024 -0700
committerSam Leffler <sleffler@google.com>Sun Jun 02 14:57:07 2024 -0700
tree4aeffe8aa456d30c43f4469f8239cdb9388d903c
parentb3473e595ae60e32dbad930c60d179e81d3a680d [diff]
cheriot: leave cpu halted

For consistency with other .resc's; leave the core halted.

Bypass-Presubmit-Reason: no sencha CI tests

Change-Id: I62c64f8648cb997c9e7daf00c8f36720c609ab94
1 file changed
tree: 4aeffe8aa456d30c43f4469f8239cdb9388d903c
  1. platforms/
  2. shodan_infrastructure/
  3. nexus.resc ⇨ shodan.resc
  4. cheriot.resc
  5. CONTRIBUTING.md
  6. gdbinit
  7. kelvin.resc
  8. LICENSE
  9. README.md
  10. sencha.resc
  11. shodan.resc
  12. springbok.resc
README.md

Simulation Configuration

This project hosts the Renode simulation description, platform definition, and simulation models for customized components.

Project structure

  • platforms: renode platform definitions
  • shodan_infrastructure: customized component model used in Renode's runtime compilation