On 24 July 2014 16:52, Alex Bennée <alex.ben...@linaro.org> wrote: > I don't think this patch set is mergable as-is because we still > include a bunch of 32 bit ARM boards in the aarch64-softmmu build > which could be using an old enough ARM that has support for 1k page > tables (and may even use them?).
We can certainly merge patches 1 and 2, which are straight bugfixes. thanks -- PMM