OS надо там?
Для разработки программы?
Или чисто на железе бежать будет?
Компилятор gcc? Или покупной есть?
Можно девелопмент кит взять от СТ майкро например.

На чем приоритет? Скорость разработки? Цена устройства?
Можно olimex.com глянуть или mouser.com