-
Philippe Gerum authored
Fix up the ARM generic interrupt controller driver in order to channel interrupts through the interrupt pipeline.
ccbed3f7
Fix up the ARM generic interrupt controller driver in order to channel interrupts through the interrupt pipeline.