Guys, I didn't get which kernel is used (and I am too lazy right now to re-read the whole thread), but I can provide patches for or push to github 3.15-rc7 with working SGX driver that comes with omap1 kernel. No idea which userland drivers it will work with (besides those from fremantle).