100644 blob 6f6d956ac1c9724bd47fd6a5a77d22f09fe1cd9b	booting.txt
100644 blob a782704c1cb59ab868de82d573291ac8780f6297	memory.txt
100644 blob 2664d1bd5a1cc8b6796e4a0851b79bb6d932a609	tagged-pointers.txt