# Marvell Armada 3720

set CORES 2

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