Google Git
Sign in
opensecura / sim / config / 57bcf2a8930906130029d72803dfe267b802d4aa
commit57bcf2a8930906130029d72803dfe267b802d4aa[log] [tgz]
authorSam Leffler <sleffler@google.com>Tue Sep 10 11:43:50 2024 -0700
committerSam Leffler <sleffler@google.com>Tue Sep 10 11:51:13 2024 -0700
tree27151695bec925a9c68f17b52e37e7c61106a3d3
parentd9196f674fb4dc88c7ba15d499777a8db2d4c4e2 [diff]
sencha/bancha: fix gdb server support to track upstream changes

Note this only enables the renode service to run; gdb functionality is
still missing for CHERIoT.

Change-Id: I17e4183a62d7c78afc1a7c931bcde924b134f6ee
3 files changed
tree: 27151695bec925a9c68f17b52e37e7c61106a3d3
  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