Google Git
Sign in
opensecura / sim / config / 2d3fd85b18ea52bdada77d607ce0c7715c970e10
commit2d3fd85b18ea52bdada77d607ce0c7715c970e10[log] [tgz]
authorSam Leffler <sleffler@google.com>Tue Dec 17 09:20:03 2024 -0800
committerSam Leffler <sleffler@google.com>Tue Dec 17 09:20:03 2024 -0800
treedd51e9e8f304c8cb0a5215cf89729229e4f540f3
parent98ed2a8a38ea24c09e6be25eab7a4270c0e343cd [diff]
sencha/bancha: track upstream changes for CHERIoT core version

Change-Id: I49d2e625fbe35f57319b7b2231485019ad0555cb
1 file changed
tree: dd51e9e8f304c8cb0a5215cf89729229e4f540f3
  1. platforms/
  2. shodan_infrastructure/
  3. nexus.resc ⇨ shodan.resc
  4. bancha.resc
  5. cheriot.resc
  6. CONTRIBUTING.md
  7. gdbinit
  8. kelvin.resc
  9. LICENSE
  10. README.md
  11. sencha.resc
  12. shodan.resc
  13. 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