Skip to content
CI

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

Triggered via pull request November 29, 2024 19:29
@spholzspholz
synchronize #25500
spholz:devicetree-mmio
Status Success
Total duration 9m 59s
Artifacts –

ci.yml

on: pull_request
Matrix: Lagom
Matrix: SerenityOS
Fit to window
Zoom out
Zoom in