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

CTSRD-CHERI / qemu

QEMU with support for CHERI

Other

54 stars 28 forks source link

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

Open tmarkettos opened 1 year ago

tmarkettos commented 1 year ago

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