Firma Marvell ukończyła dostawę ośmiu serwerów ARM, dedykowanych budowaniu i uruchamianiu systemu Debian ARM. Maszyny są oparte na układzie Armada XP MV78460, z czterordzeniowym procesorem ARMv7 o taktowaniu 1.6 GHz i własnymi ulepszeniami. Debian i Marvel współpracują od długiego czasu, co szczególnie widać w znakomicie działającym Debianie dla systemów Marvell Orion i Kirkwood.
