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