sencha: track hardware memory map

Track the hardware memory map for the SMC. This requires equivalent
changes in the cheriot-rtos board description.

Change-Id: Id137211fa0b89c4140bd4cfefe0809f5e63bfc06
1 file changed
tree: ae9a1a2e96adb4e086cf3f18ca6c8ca0799209a3
  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