cheriot: Added cheriot's testbench

- Added a sail.repl that matches sail.json spec
- Removed uart specification from cheriot.repl; they should be added in sencha_smc.repl and sail.repl, as appropriate
- cheriot.resc should load sail.repl and test-suite to run the tests in standalone cheriot

Bypass-Presubmit-Reason: no sencha CI tests

Change-Id: I42ed7701087b2818660d7e3d30afbdd2035880de
4 files changed
tree: bf7a5f38c9cd2aaff0b0336c35d278f747b58bca
  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