I can't find a satisfactory name for my kernel.