A simple kernel that displays a message