Может так оказаться, что ни linux, ни wince не подойдут для конкретных задач роботостроения. Например, я уже сейчас вижу, что нет никакой возможности из linux напрямую управлять 18-ю сервами. Просто напросто эта операционка не является realtime OS. Выход есть - mini2440 в какой-то мере поддерживает настоящую RTOS - µC/OS-II, или для простоты uCOS2. Буду постепенно с ней разбираться и выкладывать здесь информацию.
Похоже, единственные источники - это книга µC/OS-II: The Real-Time Kernel, а также исходники с официального сайта http://micrium.com/page/downloads/os-ii_evaluation_download
PS Вот нашел еще вторую редакцию книги, с CD с примерами: MicroC OS II: The Real Time Kernel,2 Ed