Un articlede linuxDevices annonce la mise à disposition gratuite par TimeSys d'un BSP (Board Support Package) pour la famille AT91SAM9 d'Atmel.
Pour mémoire, un AT91SAM9261 coûte environ $14 à l'unité.
If you can read English, check the English part of the site.