A toy microkernel x64 UEFI kernel and operating system - View it on GitHub