Hi, I've been on the hunt for a Debian distro ported to the Marvell "D2plug" based on the ARMADA 510. From what I can tell, it appears that the D2plug product has been stranded in favor of the Kirkwood SoC family. is anyone aware of or working on a Debian port to the D2plug platform? tia, George