Я бы посоветовал посмотреть:
FreeRTOS - все более широко используемая ОСРВ с открытым исходным кодом и большим количеством документации на собственном веб-сайте.Существуют также коммерчески поддерживаемые версии (SafeRTOS и OpenRTOS).
Micro C / OS-II, либо через книгу Жана Лаброса или оценку (или оба, конечно).Вторая глава книги представляет собой хороший общий обзор типичной ОСРВ, большая часть которой описывает ядро подробно и менее важна, если вашей целью является использование ОСРВ, а не ее реализация.
Экос ;обширная и масштабируемая ОСРВ, включающая возможности, выходящие за рамки простого планирования ядра и IPC. одна книга на эту тему не просто собирает информацию, доступную в другом месте, например, предоставленную в предыдущей ссылке.
Для простых проектов, которые просто необходимыядро, я бы предложил FreeRTOS по стоимости, функциональности и поддержке.Для более сложных плат с сетью, файловыми системами, USB и т. Д., Где, возможно, такая тяжелая ОС, как Linux, не соответствует ресурсам или ограничениям в реальном времени, я бы предложил eCos.Micro C / OS-II хорош, если вы хотите детально изучить, как работает ядро RTOS.
Прежде чем купить плату, я предлагаю вам поэкспериментировать с портами x86 некоторых извозможно, в виртуальной машине на вашем компьютере, или используйте старый компьютер, который вы не используете.