Raspberry Pi 3 поддерживает RTOS?

Я новичок в мире RTOS. Я планирую использовать RTOS на Raspberry Pi 3 (может быть FreeRTOS). Кто-нибудь может подсказать, какая ОСРВ будет полезна для начинающих? Поскольку они еще не выпустили таблицу данных на BCM2837, возможно ли даже загрузить ОСРВ на Raspberry Pi 3? Это...