PatchworkOS: An OS for x86_64, built from scratch in C and assembly