# SPDX-License-Identifier: GPL-2.0-or-later

# Marvell Armada 3710

set CORES 1

source [find target/marvell/88f37x0.cfg]