[rmjb]

If you mean OS Kernels, rather than OpenCL kernels as snippyhollow pointed, you might want to look at http://code.google.com/p/kgpu/