Skip to content

gdb stub support for CHERI-RISC-V 'special' registers #238

@tmarkettos

Description

@tmarkettos

The gdb stub doesn't know how to report the state of the 'special' capability registers - STCC, STDC, SScratchC, SEPCC and similar. This would be very useful when debugging exceptions.

Example:

(gdb) p $sepcc
$1 = void

Metadata

Metadata

Assignees

Type

No type

Projects

No projects

Milestone

No milestone

Relationships

None yet

Development

No branches or pull requests

Issue actions