Le Raspberry Pi 3 prend-il en charge RTOS?

Je suis nouveau dans le monde RTOS. Je prévois d'utiliser du RTOS sur un Raspberry Pi 3 (peut-être FreeRTOS). Quelqu'un peut-il suggérer quel RTOS serait bon pour les débutants? Puisqu'ils n'ont pas encore publié de fiche technique sur le BCM2837, est-il même possible de charger RTOS sur un...