All,
        Am glad that I found this mailing list although lately. I had purchased samsung arm chromebook thinking I can have some gpgpu stuffs on mali T604. Sadly no OpenCL drivers are available for mali(forget opencl no graphics driver) for linux!! sigh
First I tried pocl on this chromebook. Its an excellent piece of software. FYI there is one more project that provides opencl on arm http://www.browndeertechnology.com/coprthr_libocl.htm . My clinfo shows shows 2 platforms now :)

I have a few questions:
1. Why isn't there opencl GPU drivers for linux? why! libhybris https://github.com/libhybris/libhybris is a project that gives stub GL/GLES.. libraries which speak to android bionic compiled GL/CL drivers. I tried really hard to get this work on cheomebook using arndale/nexus 10 graphics drivers which has opencl support. I put few opencl symbols inside these stubs, eventually it segfaulted!
2. Why does ARM license mali ddk to vendors(who decide whether to provide drivers) and not provide free gpu display drivers for linux

Speaking about HSA, are ARM HSA devices in the pipeline? Anything that we can work on

Eventually OpenCL/HSA will have to come mainstream to utilize full power of the system. Let me know if I can contribute somehow

Thanks,
Krishnaraj