[atch-axel-93] make CONFIGURE_KERNEL_WCET generic #2242

Sign in to view logs

Triggered via pull request June 28, 2024 14:20

axel-h

synchronize #113

Status Skipped

Total duration 5s

Artifacts –

sel4bench-pr.yml

on: pull_request_target

Matrix: Build

Matrix: HW Benchmark