Hello,

As the prepartion for the series of patches for adding GICv3.1 and GICv4 support,

please review and provide your comments for the patch which introduces GICv3 makefile

and adds configuration options for the driver.

https://review.trustedfirmware.org/c/TF-A/trusted-firmware-a/+/3754

Regards.

Alexei

IMPORTANT NOTICE: The contents of this email and any attachments are confidential and may also be privileged. If you are not the intended recipient, please notify the sender immediately and do not disclose the contents to any other person, use it for any purpose, or store or copy the information in any medium. Thank you.