seL4Test

vspace004: allocate a cap for the final pool #225

Sign in to view logs

Re-run triggered February 12, 2025 11:43

Indanz

#133

midnightveil:asidpool-test-fix

Status Success

Total duration 9m 30s

Artifacts –

sel4test-sim.yml

on: pull_request

Matrix: Simulation