Google Git
Sign in
opensecura / sim / config / d1489cd74bace7e88751b2ff4ade2e3f3c628a7f
commitd1489cd74bace7e88751b2ff4ade2e3f3c628a7f[log] [tgz]
authorSam Leffler <sleffler@google.com>Thu May 23 09:00:08 2024 -0700
committerSam Leffler <sleffler@google.com>Thu May 23 17:03:01 2024 +0000
treea8f29c6242bc384e642bd77b266a975e135ede1c
parent52a8f24d7ed8971cb2f070489c228f694e6dba55 [diff]
sencha: use $cheriot_elf to name any loaded firmware image

Bypass-Presubmit-Reason: no sencha CI tests

Change-Id: I8e82d894871a148c95059691681565c9dac340ff
2 files changed
tree: a8f29c6242bc384e642bd77b266a975e135ede1c
  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