PatchworkOS: A 64bit non-POSIX OS where everything is a file