I was perusing http://www.khronos.org/ web site and only found headers for OpenCL (not OpenGL which I don\'t care about). How can I obtain OpenCL SDK?
Here is the ARM OpenCL SDK for the Mali mpbile GPUs http://malideveloper.arm.com/develop-for-mali/sdks/mali-opencl-sdk/