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.
- Mario
_______________________________________________
kvmarm mailing list
kvmarm@xxxxxxxxxxxxxxxxxxxxx
https://lists.cs.columbia.edu/mailman/listinfo/kvmarm
