boards/x86/intel_rpl/Kconfig.board

# Copyright (c) 2022 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