On 15 December 2014 at 22:14, Mario Smarduch <m.smarduch@xxxxxxxxxxx> wrote:
> Hi Peter,
> you may be aware of this alrady, but on 64K page host you can't
> boot a Guest, QEMU doesn't map GICC at identical offset of GICV on
> Foundation model which is 0x2c02f000.
>
> Luckily Marc made me aware of this (and his kernel fix), otherwise
> you can't bring any Guest up. Hard coding these changes worked.
>
> [VIRT_CPUPERIPHS] = { 0x08000000, 0x00030000 },
> [VIRT_GIC_CPU] = { 0x0801f000, 0x00020000 },
>
> It appears like GICV offset should be dynamically discovered
> and map updated to appropriate offset to get around this.
Yeah, it's one of those issues that's sort of on the todo list
that we never quite sorted out. Does the kernel have the API in
it to query the offset these days?
-- PMM
_______________________________________________
kvmarm mailing list
kvmarm@xxxxxxxxxxxxxxxxxxxxx
https://lists.cs.columbia.edu/mailman/listinfo/kvmarm
