Very simple x64 UEFI operating system written in C.