| # 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 |