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