Google Git
Sign in
opensecura / sim / config / 24dfe3aa5c86146bd78201f53f590a809320c447
commit24dfe3aa5c86146bd78201f53f590a809320c447[log] [tgz]
authorSam Leffler <sleffler@google.com>Fri Apr 19 13:29:56 2024 -0700
committerSam Leffler <sleffler@google.com>Wed May 08 07:54:11 2024 -0700
treed9457a537cc45add51d7292ebd6b31d0abd98bd5
parentd2fc13502bb83e77a163807fcd505af3ce410d38 [diff]
sencha: add standalone cheriot support

This lets you run a cheriot firmware image directly in renode with
something like:

cd $ROOTDIR
renode -e "i @sim/config/cheriot.resc; start" --disable-xwt --console

(and/or passing the pathname to the ELF file as $bin).

Change-Id: I9409b438243b270b8f3b99aa5b9ae92fcbbe803d
1 file changed
tree: d9457a537cc45add51d7292ebd6b31d0abd98bd5
  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