Wenn du auf Atmel setzen möchtest bleiben eigentlich nur AT91RM9200 oder
AT91SAM926x - der RM9200 ist schon eine ganze Weile auf dem Markt,
verfügt über einen ARM920T Core, und es gibt jede Menge Boards. Der
SAM926x Linie gehört wohl die Zukunft, und mittlerweile gibt es auch
einige Boards.
Linux Support für alle Atmel ARM9 gibt's im Mainline Kernel, mit einigen
Patches auf http://maxim.org.za/at91_26.html, die es bisher noch nicht
in Mainline geschafft haben.
Generell dürften die aktuellen Atmel ARM für nicht mehr als 200MHz gut
sein - ob das deinen Anforderungen genügt kann ich nicht beurteilen.
Welches Board für dich das Richtige ist hängt wohl sehr stark von den
benötigten Schnittstellen ab - günstige ARM9 Boards gehen wohl bei gut
100€ los, ein Board mit Cirrus EP9302 gibt's auch hier im Shop, wenn's
tatsächlich ein Atmel sein soll hat Olimex das SAM9-L9260 mit 64MB SDRAM
und 512MB NAND Flash.
Wenn du wirklich alle Schnittstellen des Controllers nutzen willst, und
deinen Preisrahmen ausschöpfen willst, solltest du dir die -DK und -EK
Boards von Atmel ansehen - sehr teuer, aber dafür ist auch jede
Schnittstelle des Controllers irgendwo verfügbar.
Wenn du mehr Leistung benötigst wird es "von der Stange" recht eng.
XScale Cores (PXA, IXP) gibt es mit einigen hundert MHz, allerdings sind
entsprechende Boards oft recht teuer. Die iMX Reihe von Freescale gibt
es auch in höheren Leistungsklassen, allerdings fällt mir da auf Anhieb
kein Board ein. Samsungs S3C24xx gibt es mit 400 oder noch mehr MHz,
aber auch hier gibt's nur wenige Boards.
Gruß,
Dominic