Adding stuff that can write out kernels