arm-hyp+aarch64 spec+proof: make generic in CONFIG_DISABLE_WFI_WFE_TRAPS #3238

Sign in to view logs

Triggered via pull request September 2, 2024 20:19

lsf37

opened #815

wfi-wfe-traps

Status Success

Total duration 34s

Artifacts –

push.yml

on: pull_request