# Copyright (c) 2020-2021 Microchip Technology Inc
# SPDX-License-Identifier: Apache-2.0
config BOARD
default "mpfs_icicle"
depends on BOARD_MPFS_ICICLE