boards/arm64/fvp_base_revc_2xaemv8a/Kconfig.defconfig

# Copyright (c) 2021 Carlo Caione <ccaione@baylibre.com>
# SPDX-License-Identifier: Apache-2.0

if BOARD_FVP_BASE_REVC_2XAEMV8A

config BUILD_OUTPUT_BIN
	default y

config BOARD
	default "fvp_base_revc_2xaemv8a"

endif # BOARD_FVP_BASE_REVC_2XAEMV8A