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



Reply via email to