100644 blob f3c05b5f9f08df8bf3cfe669615c29767ff2f4b5	booting.txt
100644 blob d7273a5f64566f3acfe009231cab43c05fd1e9a5	memory.txt
100644 blob a25a99e82bb1c9811ee3e8cb111d356fa53fc979	tagged-pointers.txt