seL4/include/drivers/irq
Akif Ejaz 4f7d7b7376 Add support for the Banana Pi BPI-F3
Based on the SpacemiT K1 SoC

Signed-off-by: Akif Ejaz <akifejaz40@gmail.com>
2025-11-27 20:01:07 +01:00
..
am335x.h am335/ompa3/bcm2837: compare irq & maxIRQ with <= 2025-11-03 10:00:53 +11:00
bcm2836-armctrl-ic.h arm,irq: use UNREACHBLE in unimplemented functions 2025-10-10 14:36:43 +11:00
omap3.h am335/ompa3/bcm2837: compare irq & maxIRQ with <= 2025-11-03 10:00:53 +11:00
riscv_plic0.h Add support for the Banana Pi BPI-F3 2025-11-27 20:01:07 +01:00
riscv_plic_dummy.h risc-v: improve PLIC driver API and documentation 2021-09-26 11:31:51 +10:00