simple kernel works