A simple x86-64 UEFI operating system.