Revert the read register from 64 bits into 32 bits

Renode gdb server calls function GetRegisterUnsafe to get register data
when we run command `info registers` from the gdb client. The return
data type is UInt64 format for each register. And riscv gdb client will
receive double sized packet and report size error.

Reverting the register size enables us to use riscv gdb running commands
`info threads`, `thread 2` and `info registers` to dump register info on
CHERIot SMC core.

Bug: 331940020
Bypass-Presubmit-Reason: It is a config change to Sencha project.
Matcha is unaffected.

Change-Id: I372b21aca0afb9e3dd0662d8beb5632f40e01eef
1 file changed
tree: 5c16450269e7d732588eaac45f726e3b44610216
  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