1# Copyright (c) 2022 Intel Corporation
2# SPDX-License-Identifier: Apache-2.0
3
4config BOARD_INTEL_SOCFPGA_AGILEX5_SOCDK
5	bool "Intel SoC FPGA Development Kit (Agilex5)"
6	select HAS_COVERAGE_SUPPORT
7	depends on SOC_AGILEX5
8