Apakah Raspberry Pi 3 mendukung RTOS?

Saya baru di dunia RTOS. Saya berencana untuk menggunakan beberapa RTOS pada Raspberry Pi 3 (mungkin FreeRTOS). Adakah yang bisa menyarankan RTOS mana yang baik untuk pemula? Karena mereka belum merilis datasheet pada BCM2837, apakah mungkin untuk memuat RTOS ke Raspberry Pi 3? Akankah ini...