-
Philippe Gerum authored
Fix up the interrupt controller driver of the Broadcom 2835 SoC in order to channel interrupts through the interrupt pipeline.
e72297f0
Fix up the interrupt controller driver of the Broadcom 2835 SoC in order to channel interrupts through the interrupt pipeline.