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

Sign in to view logs

Triggered via pull request September 2, 2024 20:19

lsf37

opened #815

wfi-wfe-traps

Status Success

Total duration 45s

Artifacts –

pr.yml

on: pull_request

Trailing Whitespace