The micro 64bit kernel project by x86 10th study group from http://iamroot.org.