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