boards/arm64/intel_socfpga_agilex_socdk/Kconfig.board

# Copyright (c) 2021 Intel Corporation
# SPDX-License-Identifier: Apache-2.0

config BOARD_INTEL_SOCFPGA_AGILEX_SOCDK
	bool "Intel SoC FPGA Development Kit (Agilex)"
	depends on SOC_AGILEX