A tiny x86_64 UEFI-based operating system built from scratch.