100644 blob 98df4a03807e7c4ab02c7a27f4c46272f3bd12df	booting.txt
100644 blob 78a377124ef04ec1f25fa4f47a5d065f449fe221	memory.txt
100644 blob 264e9841563aa6ebb162b545fb3442b85f00c38b	tagged-pointers.txt