OpenGL - libGAL.so kernel mismatch?

[root@organelle2 ~]# uname -a
Linux organelle2 3.14.14+ #7 SMP PREEMPT Wed Nov 4 14:51:27 EST 2015 armv7l GNU/Linux

unfortunately this probably wont help you much, as we dont have access to the kernel headers,
and when I tried to recompile the kernel , I fell into all sorts of holes

Ive tried a couple of times with various different kernel versions, with varying degrees of success… but always failure in the end … then lose the will to try again for a while - then at some point, some other reason crops up, and I try again … don’t know when the next attempt will happen :wink:

Ideally we would find a way to get to the latest kernel used by for arch linux (arm) this would then enable us to do a full arch linux update via pacman, which would be really useful!