Juan Quintela <quint...@redhat.com> wrote: > Peter Maydell <peter.mayd...@linaro.org> wrote: >> On Tue, 14 Jan 2020 at 12:53, Juan Quintela <quint...@redhat.com> wrote: >> >> I think you need to find a system which has 32-bit ram_addr_t >> and test this, because this is about the fourth time round >> for this patchset failing on this configuration. > > That is arm32 bits at the moment, right?
Not, i686 with XEN disabled appears to make the trick. Guest what I had enabled? Trying to see if I can reproduce it with it. Sorry again, Juan.