Just working through the tutorial at http://blog.ksplice.com/2010/03/libc-free-world/ - View it on GitHub