seL4Test

make debug_print_bootinfo() a bit more verbose #192

Sign in to view logs

Triggered via pull request April 15, 2024 08:09

axel-h

synchronize #51

axel-h:patch-axel-6

Status Success

Total duration 13m 5s

Artifacts –

sel4test-sim.yml

on: pull_request

Matrix: Simulation