Выбираю РТОС для STM32F4. FreeRTOS считается стандартом де-факто в мире ОС реального времени, с её рассмотрения и начал. Сюда зашел http://www.freertos.org/

Пока складывается следующее впечатление:
1. Порт FreeRTOS включает в себя имплементацию ядра. Не все драйвера периферии целевого МК присутствуютв порте. Запросто могут отсутствовать дрова USB например.
2. TCP/IP стэк не встроен в FreeRTOS. Его надо покупать http://shop.freertos.org/TCP_IP_libraries_...RTOS_s/1832.htm . Либо брать бесплатный, в подавляющем большинстве это будет lwIP. Но lwIP гол как сокол, судя по http://en.wikipedia.org/wiki/LwIP. Я не вижу у него реализации ни одного прикладного сервиса. Нет FTP, SNTP, SMTP, FTP, TFTP, HTTP, TELNET. Я уж не говорю про наличие SSL/TLS. Впрочем, если стэк купить то все перечисленные сервисы будут тоже доступны только за дополнительную денюжку, и не хилую, причём.
3. Файловая система тоже не бесплатна для большинства камней
4. На http://www.freertos.org/ я не нашел никаких предложений GUI . Хотя видел на форумах, энтузиасты прикручивали Nano-X.

Вобщем кисло как-то с freeRTOS, на первый взгляд. Бесплатно по сути дают голое ядро. Если надо еще что-то, то придется платить, писать самому, прикручивать что-то чужое, самопальное. Правильнее было бы назвать freeRKernel, а не freeRTOS, мне кажется.

Буду рад если меня разубедит кто-нибудь, утешит .

Заранее благодарен.