"микроконтроллерные" ОС - это обычно ОС типа "Microkernel" там все сервисы связанные с файловой системой и прочими нетворками отсутствуют сознательно, для уменьшения размера ядра. Про несовместимость с libc - согласен, неудобно. Поэтому стараюсь вместо FreeRTOS использовать littlekernel - там многие libc-функции просто переписаны под ось. Но есть много заказчиков которые либо слышали что FreeRTOS - это круто либо уже начат проект в этой ОС, который нужно доделать.