Встроенный Debian-Linux щупал на платах TS-7xxx. Вполне работоспособно. Тот же TS-Linux оставил только плохие впечатления. Брал у Анатоля - они их применяли. А варианты на атымеле спроси Адикм-а - он платы (вроде опен) на электрониксе анонсировалв прошлом году - должны быть живыми