Google Git
Sign in
opensecura / sim / config / 6f40d21849067bad0cf173afdf6c29529baff3cf
commit6f40d21849067bad0cf173afdf6c29529baff3cf[log] [tgz]
authorSam Leffler <sleffler@google.com>Thu May 09 11:23:04 2024 -0700
committerSam Leffler <sleffler@google.com>Thu May 09 19:04:05 2024 +0000
tree18f1b29c8302f2046aca0a5a003a84bda172d96b
parent9aec705f290d74cf79a072dc736542a4d22ed858 [diff]
cheriot: load firmware image symbols into simulator

In particular this enables the simulator to identify when the simulation
signals termination by writing to "tohost".

Bypass-Presubmit-Reason: no sencha tests

Change-Id: I897c0d67f578307bb3ce9fe3822ab4cfa3440a9d
1 file changed
tree: 18f1b29c8302f2046aca0a5a003a84bda172d96b
  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