a minimalistic kernel that just prints a string on the screen