¿El Raspberry Pi 3 es compatible con RTOS?

Soy nuevo en el mundo RTOS. Estoy planeando usar algunos RTOS en una Raspberry Pi 3 (puede ser FreeRTOS). ¿Alguien puede sugerir qué RTOS sería bueno para los principiantes? Dado que aún no han publicado una hoja de datos en el BCM2837, ¿es posible cargar RTOS en una Raspberry Pi 3? ¿Esto...