Test coverage improvement for B_GIC_01, S_L3GI_01, and S_L5GI_01

[sunnywang-arm]

RB_GIC_01, S_L3GI_01 and S_L5GI_01 require compliance with GICv3 architecture

• RB_GIC_01 A base system must present OSs and hypervisors with the interfaces defined by the one of the following: A GICv3, or higher, interrupt controller.
• RS_L3GI_01 - A base server system must implement at least one interrupt controller that is compliant with the GICv3 or higher architecture [7].
• RS_L5GI_01 All interrupt controllers presented to the operating system software must be GICv3, or higher. Non-standard extensions of GICv3, such as interrupt combining or forwarding engines, that require platform-specific kernel drivers are not permissible.

The reference doc GIC spec in BSA and SBSA specs consistently describes the Distributor (GICD) as a singular entity—always in the singular tense. That means GICv3 architecture requires 1 GICD (distributor).

Can we improve the test to check for > 1 GICD and flag as a violation?

[chetan-rathore]

Thanks @sunnywang-arm,

This will be taken care as part of errata update.