1# Copyright (c) 2021 Andes Technology Corporation
2# SPDX-License-Identifier: Apache-2.0
3
4config BOARD
5	default "adp_xc7k_ae350" if BOARD_ADP_XC7K_AE350
6