Use cmake to run kernels