A simple, bootable game written in x86-64 assembly
Tangerine kernel libc based on musl
musl libc ported to UEFI
The original version of lbsbootable, in C