[pandaboard] PowerVR SGX540 drivers for PandaBoard(OMAP4460) on vanilla kernel

[Sedat]

Hi all,

Is there a way to install PVR SGX540 driver to my PandaBoard ES(OMAP4460)
which runs on vanilla kernel and small filesystem.
The latest Graphics SDK does not have support for OMAP4.
I searched and found pvr_omap is available for Ubuntu 12.04 via installing
omap4-extras package.
Also, there is similar issue here:
https://e2e.ti.com/support/omap/f/849/t/287992 which advices to use GLSDK.

But in our project we are not using Ubuntu, instead there is small ROOTFS
and the kernel version is 3.10.80 (because of some specific project
reasons).
I found some packages here:
https://launchpad.net/~tiomap-dev/+archive/ubuntu/release/+packages . And
tried to build source package of "pvr-omap4-dkms_1.9.0.7.1.1-1_armhf.deb"
according to below instructions, but I got lots of errors.

export ARCH=arm
export CROSS_COMPILE=<cros compiler prefix>
export DISCIMAGE=<path to filesystem>
export KERNELDIR=<path to kernel> (I tried both 3.8 and 3.10.80 kernel
versions source code)
cd eurasiacon/build/linux2/omap4430_linux/
make

I do not think pvr_omap4 source code has proper header and source files for
my kernel, am I wrong?

Is there a way to install SGX540 driver to my Pandaboard ES (OMAP4460)
which has custom kernel such as version 3.10.80?

Regards
Sedat