Tangerine kernel libc based on musl
x86-64 emulator
musl libc ported to UEFI
A simple, bootable game written in x86-64 assembly
