LDuS, a 64-bit operating system for x86-64