Google Git
Sign in
opensecura / sim / config / 0669b82c744e5d691b18ca612022fb1aad87c600
commit0669b82c744e5d691b18ca612022fb1aad87c600[log] [tgz]
authorSam Leffler <sleffler@google.com>Tue Dec 03 11:29:20 2024 -0800
committerSam Leffler <sleffler@google.com>Tue Dec 03 11:29:20 2024 -0800
tree871ef7b726451fc4c9b085e01aa1da5a13f0e15c
parent4492b44c9775b39056ec079975fc906bd17b493b [diff]
bancha: load firmware symbols so mpact catches tohost writes

Change-Id: Iba5b37d76715bba107c5d1340cf69d10a0dda63d
2 files changed
tree: 871ef7b726451fc4c9b085e01aa1da5a13f0e15c
  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