diff --git a/boards/arm/mps2/Kconfig b/boards/arm/mps2/Kconfig index 367a88485363..0170bebb4d9d 100644 --- a/boards/arm/mps2/Kconfig +++ b/boards/arm/mps2/Kconfig @@ -3,4 +3,5 @@ # SPDX-License-Identifier: Apache-2.0 config BOARD_MPS2 + select HAS_COVERAGE_SUPPORT select QEMU_TARGET if BOARD_MPS2_AN385 || BOARD_MPS2_AN521_CPU0 || BOARD_MPS2_AN521_CPU0_NS || BOARD_MPS2_AN521_CPU1