Hello! > We also need to update the ACPI table generation code, otherwise > we will be instantiating a system with a GICv3 and claiming > in the ACPI tables that it is a GICv2.
I have done everything except this piece. Where can i get any documentation on how to describe GICv3 in MADT? Kind regards, Pavel Fedin Expert Engineer Samsung Electronics Research center Russia