search

CTSRD-CHERI / qemu

QEMU with support for CHERI
Other
54 stars 28 forks source link

Align RVFI reported values with sail #232

Closed arichardson closed 1 year ago

arichardson commented 1 year ago

Should not have any user-visible behaviour changes, mostly moving code around a bit.

Will merge if CI passes.