[gem5-dev] Change in gem5/gem5[master]: dev-arm: Add GICv4 extension switch in GICv3

Giacomo Travaglini has submitted this change and it was merged. ( https://gem5-review.googlesource.com/c/public/gem5/+/18391 ) Change subject: dev-arm: Add GICv4 extension switch in GICv3 .. dev-arm: Add GICv4 extension

[gem5-dev] Change in gem5/gem5[master]: dev-arm: Add GICv4 extension switch in GICv3

Hello Andreas Sandberg, I'd like you to do a code review. Please visit https://gem5-review.googlesource.com/c/public/gem5/+/18391 to review the following change. Change subject: dev-arm: Add GICv4 extension switch in GICv3