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