[CHERI-RISC-V] Remove DDC interposition from CHERIv9

CTSRD-CHERI / qemu

QEMU with support for CHERI

Other

52 stars 28 forks source link

[CHERI-RISC-V] Remove DDC interposition from CHERIv9 #228

Closed arichardson closed 1 year ago

arichardson commented 1 year ago

Testing with some hand-written TestRIG traces: https://github.com/CTSRD-CHERI/TestRIG-traces/pull/1

arichardson commented 1 year ago

rebased and fixed a silly typo that caused the wrong unaligned exception type to be raised (store instead of load). Surprisingly this was caught by the MIPS tests