I found out that although I have problems with the drivers I could build ./lib/libOpenVG.so.1.0.0 ./lib/libOpenVG.so.1 ./lib/libOpenVG.so ./lib/libGL.so.1.5.071100 ./lib/libGL.so.1 ./lib/libGL.so ./lib/libOSMesa.so.7.11.0 ./lib/libOSMesa.so.7 ./lib/libOSMesa.so with make linux -k