sencha: correct CHERIoT software revoker setup

We (currently) do memory revocation in software on the SMC. Shrinking
SRAM to match the hardware resulted in the revokers's shadow bitmap
overlapping the heap. Grow memory owned by the CHERIoT cpu so we can
move the bitmap past the end of SRAM (this happens in the json board
description).  While here also disable the hardware revocation support.

Bypass-Presubmit-Reason: no test coverage

Change-Id: I12452283dee91e48d1ceae815c4ac318b2b377c3
1 file changed
tree: aec9dab4b4f78650f4afe119feb73bef731a7f1f
  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