Indeed, FreeRTOS is already up and running on the OMAP4 M3 cluster using RPMsg to communicate with the A9 [1] (using only one of the two M3's though, as FreeRTOS is UP.) The main issue is the floating point maths which make porting the code to the M3 less straightforward.