benchsupport: don't run timer tests if no ltimer

Open midnightveil opened this issue 9 months ago • 0 comments

Some platforms don't have an ltimer (e.g. Cheshire). In these cases, ltimer_default_init won't compile.

Conditionally disable the IRQUSER and SMP benchmarks when there is no ltimer to use.

Resolving https://github.com/seL4/ci-actions/pull/388#issuecomment-2728308843

Mar 31 '25 06:03 midnightveil