Asymmetric Multi Processing on RedPitaya

[dtorette4868]

The Zynq processor at the heart of the RedPitaya is ARM dual cores.
Such architecture allows to run two different OS on each of the core.
Is there some trial to run different real time operating system on the RedPitaya?

I think to RTOS like:

• µC/OS-III https://www.micrium.com/makers/about/
  FreeRTOS http://www.freertos.org/RTOS-Xilinx-Zynq.html

Regards, Dominique T.