sencha/bancha: use OpenTitan uart

With the addition of Sonata board support the OpenTitan uart is
supported so switch sencha (uart5) + bancha (uart0).

While here cleanup bancha a bit.

Bypass-Presubmit-Reason: only relevant flow passes (shodan flows are broken by futures crate version issue)

Change-Id: I82e4e3e34e80d32d465a3dfd243544a404e4731e
2 files changed
tree: 529efd8e67bd3107a37342d3a17f33d4f5d8a2f1
  1. platforms/
  2. shodan_infrastructure/
  3. bancha.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