this really looks like generic AMP/linux/FreeRTOS issue , we are unable to help such use cases, it is better to look at Xilinx forums, there are people posting more. We are doing our best to support the hardware we develop and product - our product. AMP/Linux/FreeRTOS and Xilinx ZYNQ are not our products, hence we can not support them beyound the usability case with our soms.
Sorry that we can not helpe with this specific task.