A simple kernel to print "Hello World."