Google Git
Sign in
opensecura / sim / config / 427eab9945dd386f5a62cc1d5916afb76c18afaf
commit427eab9945dd386f5a62cc1d5916afb76c18afaf[log] [tgz]
authorSam Leffler <sleffler@google.com>Thu May 09 11:10:11 2024 -0700
committerSam Leffler <sleffler@google.com>Thu May 09 19:02:27 2024 +0000
tree0bbdb5b636350881477fea31c5761dd77b69a6a9
parent3c3484d11a7c4aa8855d52095c8125791c692f56 [diff]
MpactCheriotCPU: track new simulator functionality

- load_elf replaces load_executable to support passing symbols into
  the simulator
- symbols can be used in the cli in lieu of memory addresses
- if symbols are passed to the simulator and the "tohost" symbol is
  defined, the simulator will plant a watchpoint to identify when a
  simulation has terminated
- (unrelated) WaitForCLI now defaults to true

Note: this requires an updated cheriot toolchain

Bypass-Presubmit-Reason: no sencha tests

Change-Id: I890c5332993080e7bec2a3efdc209af029d6f538
1 file changed
tree: 0bbdb5b636350881477fea31c5761dd77b69a6a9
  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