0001-Disable-coverage-requirement.patch
0002-Use-executable-name-in-tests.patch
0003-Drop-test-timeout-riscv64-is-too-slow.patch
