Google Git
Sign in
opensecura / sim / config / ed3415c7234409abeaab6a287e7719cdc2db9e6f
commited3415c7234409abeaab6a287e7719cdc2db9e6f[log] [tgz]
authorSam Leffler <sleffler@google.com>Thu Apr 25 10:56:43 2024 -0700
committerSam Leffler <sleffler@google.com>Fri Apr 26 15:57:42 2024 +0000
tree6c637b3f2440ec2c99ae5a1cbd711ef8458b8616
parent1ebee9af9bd69749bb803f0bbc0623081d99c638 [diff]
sencha_smc: add plic comments

Clarify plic interrupt configuration; the cheri-enabled core does not
implement S  mode.

Change-Id: I666b041972932137e62707be7b33c05cbc95ce38
1 file changed
tree: 6c637b3f2440ec2c99ae5a1cbd711ef8458b8616
  1. platforms/
  2. shodan_infrastructure/
  3. nexus.resc ⇨ shodan.resc
  4. CONTRIBUTING.md
  5. gdbinit
  6. kelvin.resc
  7. LICENSE
  8. README.md
  9. sencha.resc
  10. shodan.resc
  11. 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