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:

There's also no DTB for the MACCHIATOBin yet.