Marvell has several ARM-based system on chip (SoC) platforms which are supported in Debian.
32-bit ARM
Marvell's Orion and Kirkwood are supported in Debian's armel port. There is support for a number of consumer NAS devices, such as a number of ?QNAP devices.
Marvell's ARMADA 3xx and ARMADA XP are supported by the armhf port.
64-bit ARM
Marvell has a number of 64-bit ARM platforms that can run Debian's arm64 port.
Products based on 64-bit Marvell's ARMADA include:
ESPRESSOBin: a board featuring the ARMADA 3700 chip.
MACCHIATOBin: a mini-ATX board based on the ARMADA 8040.