Skip to content
Back to pull request #25500

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

Sign in to view logs

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

Run time

Learn about OS pricing on GitHub Actions
Job Run time
Lagom (macOS, macos-14, NO_FUZZ) / CI
9m 24s
Lagom (Linux, ubuntu-22.04, FUZZ) / CI
2m 3s
Lagom (Linux, ubuntu-22.04, NO_FUZZ) / CI
8m 45s
SerenityOS (Clang, ubuntu-22.04, x86_64, NORMAL_DEBUG) / CI
8m 49s
SerenityOS (GNU, ubuntu-22.04, aarch64, NORMAL_DEBUG) / CI
7m 0s
SerenityOS (GNU, ubuntu-22.04, x86_64, ALL_DEBUG) / CI
7m 8s
SerenityOS (GNU, ubuntu-22.04, riscv64, NORMAL_DEBUG) / CI
8m 41s
SerenityOS (GNU, ubuntu-22.04, x86_64, NORMAL_DEBUG) / CI
9m 27s
1h 1m 17s