sencha: misc fixups

- make the default setting for $tar more sensible
- load symbols from the $cheriot_elf so the cli can use them w/o
  having to modify sencha.resc

Bypass-Presubmit-Reason: no sencha CI tests

Change-Id: Ib841678337bdf6fa95c1987aad1e2e1ae739013f
1 file changed
tree: ee997ba96381964a07f4a4a01c1a970b1b3f4643
  1. platforms/
  2. shodan_infrastructure/
  3. cheriot.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