Re: [PATCH v2 3/4] arm64: dts: Add mediatek MT8173 SoC and evaluation board dts and Makefile

From: Marc Zyngier
Date: Wed Dec 24 2014 - 03:47:54 EST

On 2014-12-23 21:07, Arnd Bergmann wrote:
On Tuesday 23 December 2014 08:43:55 Marc Zyngier wrote:

> Neverthless, MT8173 SoC already use 0x10224000 and 0x10225000 as VGIC
> base address.

Then its fate is sealed virtualization wise.

It should still work with 4kb pages on the host, right? Would that still
allow you to have 64kb pages on the guest, or does the guest page size
have to be smaller or equal to the host?

Of course, it will still work with 4kB pages, and the guest can still use
whatever page size it wants, including 64kB. Not very good from a performance
point of view, but it will work.

My main worry is that we're already starting to see more and more platforms
having divergent requirements in their MM setup, and distributions are going
to struggle to provide a full-featured single kernel image, specially as some
feel the need to push 64kB pages down to everybody's throat.


Fast, cheap, reliable. Pick two.
To unsubscribe from this list: send the line "unsubscribe linux-kernel" in
the body of a message to majordomo@xxxxxxxxxxxxxxx
More majordomo info at
Please read the FAQ at