Jessica Clarke

Is this observable for the scalar crypto instructions that use this (surely yes?), and if so, does the fact this made it into the Sail model mean there was a...

I don’t think that’s what might means. Doesn’t might just mean that an instruction dirtied it in the past but later instructions could have made it no longer dirty, ie...

That will then remove the ability to match what some real legal implementations do that RVI decided to retroactively make illegal.

For example, QEMU has done dirty updating for many years conforming to prior versions of the privileged spec, well before the conception of Svadu, and we do fuzz our CHERI-extended...

Hm, or maybe Svadu is just giving a way to control it, and without Svadu you can get the old behaviour? Either way the old behaviour needs to stay, it's...

Make -d + --enable-svadu an illegal combination, otherwise honour the behaviour of whichever is set?

(The only alternative would be to have -d + --enable-svadu default menvcfg.HADE or whatever it is to 1, but that seems like a bad idea)

I think there are ambitions to overhaul extension enabling, but that is what's been done so far when it's needed to be configurable (as opposed to just new instructions that...

CI only builds the emulators; see test/run_tests.sh

Where is this project coming from? Do you have a mentor you can ask these kinds of questions?