We have a request to support Mali with our RTOS. Is it possible to receive the DDK sources so we can adapt it?
The chip in question is a Xilinx MPSoC+