Hi guys,
I've been trying to implement and test a GICv2 driver on a Foundation model present in the tool ARM DS-5 and facing some issues with interrupts.
I've enabled and set pending an interrupt in the GIC distributer and I actually see that is the…
