An x86-64 operating system