On 5/21/26 07:15, Peter Maydell wrote:
I think we also need arm_emulate_firmware_reset() to
set SCR_ENFPM, so we get the "emulating EL3 but starting
guest at EL2" case right.

Otherwise
Reviewed-by: Peter Maydell <[email protected]>

Yep, thanks.

r~

Reply via email to