# Marvell Armada 8040 DDR4 RAM SoC 1xPCIx4 3xSATA 1xGBE 1x2.5GBE 2x10GBE USB3.0 eMMC SPI BOARD_NAME="Macchiatobin DS" BOARDFAMILY="mvebu64" BOARD_MAINTAINER="" BOOTCONFIG="mvebu_mcbin-88f8040_defconfig" HAS_VIDEO_OUTPUT="no" KERNEL_TARGET="current,edge"