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 was released in April 2017 and is available for $349.00.

U-Boot

U-Boot support has been accepted for 2017.05.

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:

A basic DTB for the MACCHIATOBin has been submitted upstream and is included in 4.11.