| # Copyright (c) 2024 Antmicro <www.antmicro.com> | |
| # SPDX-License-Identifier: Apache-2.0 | |
| if BOARD_QEMU_RISCV64 | |
| config BUILD_OUTPUT_BIN | |
| default n | |
| config HAS_COVERAGE_SUPPORT | |
| default y | |
| config QEMU_ICOUNT_SHIFT | |
| default 6 if QEMU_ICOUNT | |
| endif # BOARD_QEMU_RISCV64 |