| commit | 7fa3a79370161e77f77f2f3f4a772725f4122c42 | [log] [tgz] |
|---|---|---|
| author | Boyan Karatotev <boyan.karatotev@arm.com> | Fri Apr 25 09:52:24 2025 +0100 |
| committer | Manish Pandey <manish.pandey2@arm.com> | Fri Jun 13 17:34:22 2025 +0000 |
| tree | 29f6bbfc7e3e742053e206d2a979e1ff232b5127 | |
| parent | 211688cd1f5666a647b014867a84baa46efe290a [diff] |
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