How can I compile Mali-T764 DRIVERS on Ubuntu Linux 14.04 on RK3288 device ?

Hi,

I'm establishing a startup company and decided to use ARM devices as thin clients for my company's VDI solution. I have recently bought an RK3288-based device which uses a MALI-764 GPU. The device has Ubuntu 14.04 installed, but it is missing the 3D Hardware Acceleration functionality due to missing MALI 764 drivers.

However, I found the drivers available on Developer.

My question is: How can I compile these drivers to gain full 3D hardware acceleration on my linux-based device?