# SPDX-License-Identifier: GPL-2.0-or-later
# Marvell Armada 3710
set CORES 1
source [find target/marvell/88f37x0.cfg]