A tool to dump OpenCL platform/device information