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

config BOARD_INTEL_ADL_CRB
	bool "Alder Lake CRB"
	depends on SOC_ALDER_LAKE
	select X86_64
	select HAS_COVERAGE_SUPPORT

config BOARD_INTEL_ADL_RVP
	bool "Alder Lake RVP"
	depends on SOC_ALDER_LAKE
	select X86_64
	select HAS_COVERAGE_SUPPORT

config BOARD_UP_SQUARED_PRO_7000
	bool "UP SQUARED PRO 7000 board"
	depends on SOC_ALDER_LAKE
	select X86_64
	select HAS_COVERAGE_SUPPORT