Skip to content
seL4Test

Add support for BCM2712/Raspberry Pi 5B #472

Sign in to view logs

Add support for BCM2712/Raspberry Pi 5B

Add support for BCM2712/Raspberry Pi 5B #472

Triggered via pull request October 7, 2025 23:31
@Ivan-VelickovicIvan-Velickovic
opened #200
Ivan-Velickovic:bcm2712
Status Cancelled
Total duration 7m 14s
Artifacts –

sel4test-sim.yml

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

Annotations

4 errors
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 (armv7a, gcc)
The operation was canceled.
Sim / Simulation (armv7a, gcc)
Canceling since a higher priority waiting request for seL4Test-sel4sim-pr-200-0 exists