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 Raspberry Pi 3?