Have you attempted an install? The new Debian buildds/porterboxen have Marvell Armada 370/XP CPUs and are running linux-image-3.13-1-armmp-lpae with minimal config differences to wheezy-backports.
https://db.debian.org/machines.cgi?host=abel Looking at your list and at the upstream Linux kernel device tree files, it appears that the only ones with device tree files are the Kirkwood based ones so perhaps the Armada 370/XP based ones need some upstream Linux work. The best way to tell would be to try booting the Linux armmp or armmp-lpae kernel from jessie or wheezy-backports. -- bye, pabs http://wiki.debian.org/PaulWise -- To UNSUBSCRIBE, email to debian-arm-requ...@lists.debian.org with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org Archive: https://lists.debian.org/CAKTje6HRL9scBXPGygzEoBio7S7R3tCeXGSqF4kiZwU=vgg...@mail.gmail.com
