Is there a small gaming engine for xilinx zync with Arm Mali 400 MP2?

I have a zcu104 development system from xilinx and I am working on a machine vision project where I would like to be able to animate a sprite or polygon across the main hdmi stream output.

I'm not a gamer, but I have done some extremely simple gaming in C with the SDK library and some equally simple gaming in python with the pygame engine. What I need to do is not very sophisticated but I don't want to go through the arduous task of creating an arm based gaming engine. 

Is there an arm based engine or such, that I can use on xilinx zync based processors? The processor that I have has the Mali 400 MP2 GPU.

Thank You

Tom

More questions in this forum