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

config BOARD_CDNS_SWERV
	select 64BIT if BOARD_CDNS_SWERV_S420_64_WHISPER
