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

config ACRN_COMMON
	bool
	default y if BOARD_ACRN || BOARD_ACRN_EHL_CRB || BOARD_ACRN_ADL_CRB
	select CPU_HAS_FPU
	select X86_64
