[PATCH v2 3/4] arm64: dts: Add mediatek MT8173 SoC and evaluation board dts and Makefile
From: arnd@arndb.de (Arnd Bergmann)
Date: 2014-12-23 21:08:33
Also in:
linux-devicetree, lkml
On Tuesday 23 December 2014 08:43:55 Marc Zyngier wrote:
quoted
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? Arnd