Hi, Does Intel OpenCL SDK covers all required functions for development, debugging, profiling and optimizing of the OpenCL code for Intel HD4000? I also plan to use Intel GMA for comparision of HD4000 with NVidia and AMD architectures. is this optimal way or I should use something else?