# Marvell Armada 3710

set CORES 1

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