Skip to content
seL4Test

Add support for BCM2712/Raspberry Pi 5B #478

Sign in to view logs

Add support for BCM2712/Raspberry Pi 5B

Add support for BCM2712/Raspberry Pi 5B #478

Triggered via pull request October 8, 2025 11:12
@Ivan-VelickovicIvan-Velickovic
synchronize #200
Ivan-Velickovic:bcm2712
Status Cancelled
Total duration 3m 49s
Artifacts –

sel4test-sim.yml

on: pull_request
Matrix: Sim / Simulation
Fit to window
Zoom out
Zoom in

Annotations

16 errors
Sim / Simulation (armv7a, gcc)
The operation was canceled.
Sim / Simulation (armv7a, gcc)
Canceling since a higher priority waiting request for seL4Test-sel4sim-pr-200-0 exists
Sim / Simulation (rv32imac, gcc)
The operation was canceled.
Sim / Simulation (nehalem, clang)
The operation was canceled.
Sim / Simulation (rv32imac, gcc)
Canceling since a higher priority waiting request for seL4Test-sel4sim-pr-200-6 exists
Sim / Simulation (nehalem, clang)
Canceling since a higher priority waiting request for seL4Test-sel4sim-pr-200-5 exists
Sim / Simulation (rv64imac, clang)
The operation was canceled.
Sim / Simulation (rv64imac, clang)
Canceling since a higher priority waiting request for seL4Test-sel4sim-pr-200-9 exists
Sim / Simulation (nehalem, gcc)
The operation was canceled.
Sim / Simulation (nehalem, gcc)
Canceling since a higher priority waiting request for seL4Test-sel4sim-pr-200-4 exists
Sim / Simulation (rv64imac, gcc)
The operation was canceled.
Sim / Simulation (rv64imac, gcc)
Canceling since a higher priority waiting request for seL4Test-sel4sim-pr-200-8 exists
Sim / Simulation (armv7a, clang)
The operation was canceled.
Sim / Simulation (armv7a, clang)
Canceling since a higher priority waiting request for seL4Test-sel4sim-pr-200-1 exists
Sim / Simulation (rv32imac, clang)
The operation was canceled.
Sim / Simulation (rv32imac, clang)
Canceling since a higher priority waiting request for seL4Test-sel4sim-pr-200-7 exists