1# empty unless code_coverage is enabled.
2# code_coverage.arm.policy
3