SolidRun's ARMADA 8040 Community Board (also known as the Marvell MACCHIATOBin) is a mini-ITX board featuring a Marvell ARMADA 8040 chip. The board can be used with Debian's arm64 port.
The MACCHIATOBin is expected to be released in January 2017 for $349.00.
U-Boot
U-Boot support has been submitted upstream. It will probably be part of the 2017.03 release.
Kernel support
The Linux kernel has basic support for the ARMADA 8040 chip but some major functionality is missing. There are proposed patches, for example:
- mmc: sdhci-xenon: Add support to PHYs of Marvell Xenon SDHC
- arm64/clk: update Marvell Armada CP110 system controller driver
- clk: mvebu: adjust AP806 CPU clock frequencies to production chip
- net: mvpp2: misc improvements and preparation patches
- net: mvpp2: add basic support for PPv2.2
There's also no DTB for the MACCHIATOBin yet.