X86-64 system