On 14 July 2018 at 18:16, Luc Michel <[email protected]> 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 <[email protected]>
Reviewed-by: Peter Maydell <[email protected]> thanks -- PMM
