tree 29f6bbfc7e3e742053e206d2a979e1ff232b5127
parent 211688cd1f5666a647b014867a84baa46efe290a
author Boyan Karatotev <boyan.karatotev@arm.com> 1745571144 +0100
committer Manish Pandey <manish.pandey2@arm.com> 1749836062 +0000

feat(gicv5): add coverity build with GICv5

Build the gicv5 driver with coverity. As no DTS is provided yet, specify
the gicv3 one so that it builds. This build will never run so it's not
relevant.

Signed-off-by: Boyan Karatotev <boyan.karatotev@arm.com>
Change-Id: I64f05e0c537ceeccf22b037e6d506c3ec94c40bc