morello: Fix missing executive checks for explicit DDCs and RSP

CTSRD-CHERI / qemu

QEMU with support for CHERI

Other

54 stars 28 forks source link

morello: Fix missing executive checks for explicit DDCs and RSP #248

Closed jrtc27 closed 6 months ago

jrtc27 commented 6 months ago

I believe I have exhaustively compared the executive checks between QEMU and the spec, so hopefully this is the last of that kind of issue. It remains sad that none of the tests turned this up.