Google Git
Sign in
opensecura / sim / config / 817851402cdd8e5492cc7bd8cc3da3aa7d254400
commit817851402cdd8e5492cc7bd8cc3da3aa7d254400[log] [tgz]
authorSam Leffler <sleffler@google.com>Tue Jul 23 16:15:29 2024 -0700
committerSam Leffler <sleffler@google.com>Tue Jul 23 16:22:43 2024 -0700
treed3e60ae56307e266f9a84029483d996be8d6fbd5
parentcdaaf36a144c7ca14d42baa7c327ba73a18327e7 [diff]
sencha: match sail clint frequency to cheriot-rtos board config

Cheriot-rtos' sail board config has timer_hz=2000. Match this in the
equivalent renode config so time calculations by the tickless scheduler
work as intended. Leave the sencha clint frequency as-is for now; though
it does not match the sencha.json board config because that breaks the
soundstream demo for some yet-to-be-determined reason. With this change
the cheriot-rtos testbench passes with the tickless scheduler.

Bug: 350801040

Change-Id: Ib459b9731f718e7c949673ab66d4dee7206e200d
3 files changed
tree: d3e60ae56307e266f9a84029483d996be8d6fbd5
  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