Choix d'une carte pour linux embarqué

Bonjour à tous,

Je viens solliciter votre aide pour le choix d'une carte électronique qui supporterais Linux embarqué. Cette carte sera à destination de la robotique.

Mes contraintes:

Mon robot aura environ 15 servomoteurs (qui seront branché sur une carte spéciale servomoteur) sans compter les capteurs, donc il me faut au moins 20 entrées/sorties.
Si possible une documentation qui me permettrait d'installer facilement linux et de pouvoir jouer avec.

Les cartes auxquelles j'ai pensé:

- La Raspeberry pi=> pas assez d'entré sortie
- LaDE0 nano=> elle correspondrait à mes critère, de plus c'est la carte que j'utilise pour mon projet scolaire
- La pandaboard-> je n'ai pas vraiment de retour sur cette carte
- La beagleBone
- Ou encore la mini2440

De plus je possède une arduino mega 2560, est-il possible de mettre Linux dessus?

En vous remerciant d'avance pour l'aide que vous pourrez m'apporter