1# Copyright (c) 2024 Antmicro <www.antmicro.com>
2# SPDX-License-Identifier: Apache-2.0
3
4if BOARD_QEMU_RISCV64
5
6config BUILD_OUTPUT_BIN
7 default n
8
9config HAS_COVERAGE_SUPPORT
10 default y
11
12config QEMU_ICOUNT_SHIFT
13 default 6 if QEMU_ICOUNT
14
15endif # BOARD_QEMU_RISCV64
16
