change name kernel->k