Я готовлюсь к созданию решения RTOS поверх Linux, которое будет работать на встроенном устройстве. Я провел некоторое расследование самостоятельно, но все же я немного смущен. Это мои критерии:
Легко запускать на машине Samsung s3c2440 ARM9
Открытый исходный код
Работает вместе с Linux
Хорошая поддержка сообщества
Я видел RTLinux и Xenomai. Xenomai больше похож на вещь для меня, но все же я сбит с толку.
Есть дельный совет, плюсы и минусы?