# Copyright (c) 2021 Andes Technology Corporation
# SPDX-License-Identifier: Apache-2.0

config BOARD
	default "adp_xc7k_ae350" if BOARD_ADP_XC7K_AE350