x86_64 hobby operating system.