build-prevail
Installation
SKILL.md
Build and Test PREVAIL Verifier
Build and test the PREVAIL eBPF verifier (external/ebpf-verifier) independently from the main eBPF for Windows solution.
When to Use
- Working on verifier changes in
external/ebpf-verifier/ - Running or debugging YAML verification tests
- Building
run_yaml.exeortests.exefor the verifier - Iterating on verifier fixes with faster feedback than full MSBuild
Prerequisites
The verifier's cmake build directory must exist. If external/ebpf-verifier/build/ is missing, run from the solution root:
.\scripts\initialize_ebpf_repo.ps1