Czy Raspberry Pi 3 obsługuje RTOS?

Jestem nowy w świecie RTOS. Planuję używać RTOS na Raspberry Pi 3 (może być FreeRTOS). Czy ktoś może zasugerować, który RTOS byłby dobry dla początkujących? Skoro jeszcze nie wydali arkusza danych na BCM2837, czy w ogóle możliwe jest załadowanie RTOS na Raspberry Pi 3? Czy to...