A simple UEFI x86-64 operating system written in C11.