| # Copyright (c) 2022-2023 Intel Corporation | |
| # SPDX-License-Identifier: Apache-2.0 | |
| config BOARD_INTEL_RPL_S_CRB | |
| bool "Raptor Lake S CRB" | |
| depends on SOC_RAPTOR_LAKE | |
| select X86_64 | |
| select HAS_COVERAGE_SUPPORT | |
| config BOARD_INTEL_RPL_P_CRB | |
| bool "Raptor Lake P CRB" | |
| depends on SOC_RAPTOR_LAKE | |
| select X86_64 | |
| select HAS_COVERAGE_SUPPORT |