On 8 December 2014 at 14:41, Peter Maydell <peter.mayd...@linaro.org> wrote: > We also need to make sure it works with TCG QEMU. (64-bit access > to devices is something we've needed previously in ARM QEMU, so > though in theory it should work it would need testing.)
"is not something we've needed previously", obviously. -- PMM