An operating system based on x86-64 architecture