Do I need a separate SDK to include OpenCL code in my programs?
i believe that Joe made a comment about it once :
We don’t distribute an OpenCL SDK at this time.
Our SDK’s contain examples, helper code & tools that help you streamline your development process. There’s nothing in the SDK that you need to write an application that utilises PowerVR GPU hardware.
why that ???
We release SDKs as devices with the corresponding OS & API combinations become publicly available. There are currently no devices with PowerVR GPUs that officially support OpenCL.