On 230313 1608, Peter Maydell wrote: > On Mon, 13 Mar 2023 at 15:41, Philippe Mathieu-Daudé <phi...@linaro.org> > wrote: > > Now I wonder again if this is a good time to merge this change set. > > No, I don't think it is at this point in the release > cycle. I would vote for merging it when we reopen for 8.1, > so that we'll have a full cycle to find all the weird corner > cases that it breaks.
Ok. I'll fix the rasbpi issue and look into adding some compile-time option to make the re-entrancy check fatal. That way we might catch additional edge-cases with fuzzing (though non-x86 coverage is poor) and unit-tests. -Alex