Fix KelvinCPU Set/Get Register API

Match upstream API change https://github.com/renode/renode-infrastructure/commit/c8ed56a

Bypass-Presubmit-Reason: Sencha CI needs extra fix

Change-Id: Iae8ac63abf63ad1ab309df921f1a3533858739ed
1 file changed
tree: 54f396274616653dbc3cfe508adc154749dba578
  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