100644 blob 7cd36af11e71c2964082dc9d37540a7566923c31	booting.txt
100644 blob 68362a1ab7179a6ed0d3346c3a74d206d515485f	legacy_instructions.txt
100644 blob 19b3a52d5d9479178604a0d73666c27a2ff17f07	memory.txt
100644 blob 2664d1bd5a1cc8b6796e4a0851b79bb6d932a609	tagged-pointers.txt