seL4Test-Sim

i.MX 93: Add Low Power Timer (LPTMR) Driver #433

Sign in to view logs

Triggered via push February 9, 2025 12:39

Indanz

master

Status Success

Total duration 9m 27s

Artifacts –

sel4test-sim.yml

on: push

Matrix: Simulation