The Orange Pi uses Mali Graphics, which _may_ (I'm not certain) have a proprietary RTOS on it.
I do know that The Raspberry Pi has a RTOS for the VideoCore GPU, and it is based on ThreadX RTOS, which is proprietary and used on "billions" of devices. The RPF will never be able to make that OSS.
I do know that The Raspberry Pi has a RTOS for the VideoCore GPU, and it is based on ThreadX RTOS, which is proprietary and used on "billions" of devices. The RPF will never be able to make that OSS.