Unterstützt der Raspberry Pi 3 RTOS?

Ich bin neu in der RTOS-Welt. Ich plane, RTOS auf einem Raspberry Pi 3 (möglicherweise FreeRTOS) zu verwenden. Kann jemand vorschlagen, welches RTOS für die Anfänger gut wäre? Ist es sogar möglich, RTOS auf einen Raspberry Pi 3 zu laden, da sie noch kein Datenblatt zum BCM2837 veröffentlicht...