Есть неплохие платы для Линукса с графическим интерфейсом на ARM920Т (+сопроцесор с плавающей запятой и графический ускоритель). Есть разьемы VGA и IDE. Вот только стоит 200 фунтов стерлингов ( есть и дешевле). Видео выдают 640*480 16 бит. По моему это дешевле и проще, чем AVR32. Он изначально делался для переносных мультимедийных шкатулок.