On 14 July 2018 at 18:16, Luc Michel <luc.mic...@greensocs.com> wrote: > Add support for GICv2 virtualization extensions by mapping the necessary > I/O regions and connecting the maintenance IRQ lines. > > Declare those additions in the device tree and in the ACPI tables. > > Signed-off-by: Luc Michel <luc.mic...@greensocs.com>
Reviewed-by: Peter Maydell <peter.mayd...@linaro.org> thanks -- PMM
