Linux gpu driver

Hi,

i am building a linux system for the beaglebone black (with buildroot) and would like to utilize the GPU. Currently I am using the kernel https://github.com/beagleboard/kernel/tree/3.14
As far as I can see there is no driver which uses the SGX 530 included. Is this correct?
Do I have to build the driver from the TI SDK on my own?

The kernel bits are here:

https://github.com/rcn-ee/ti-sgx/tree/ti-5.01.01.01

reference build-es8.sh

and build in the src directory..

Then borrow this script to build a *.tar file (can't legally distribute)

https://github.com/RobertCNelson/ti-linux-kernel-dev/blob/ti-linux-3.14.y/sgx_create_package.sh

Regards,