Just curious, it's the same on real hardware, right?Hi David, could you clarify what you're asking about? Whether the SPM semantics are the same, or whether this QEMU implementation matches real hardware behavior?
Yes exactly. If it matches real hardware behavior then there are no real surprises exposed by the QEMU implementation.
-- Cheers David
