hello-world. Just working through the tutorial at http://blog.ksplice.com/2010/03/libc-free-world/