int kernelCopy(char * filename);