Skip to content

Kernel/aarch64: Get RPi::InterruptController address and RPi::Timer address + IRQ number from the devicetree #3719

Kernel/aarch64: Get RPi::InterruptController address and RPi::Timer address + IRQ number from the devicetree

Kernel/aarch64: Get RPi::InterruptController address and RPi::Timer address + IRQ number from the devicetree #3719

SerenityOS (GNU, ubuntu-22.04, x86_64, ALL_DEBUG)  /  CI

succeeded Nov 29, 2024 in 7m 8s