x86_64 hobby operating system using Pure64.