seL4Test

make debug_print_bootinfo() a bit more verbose #172

Sign in to view logs

Triggered via pull request January 12, 2024 11:36

axel-h

synchronize #51

axel-h:patch-axel-6

Status Success

Total duration 12m 0s

Artifacts –

sel4test-sim.yml

on: pull_request

Matrix: Simulation