100644 blob 5273c4d60e656ade8e4bbc8852c105ed8cdd2b24	booting.txt
100644 blob a776d7a7c3cce89db587c9bf705955b2be580e55	memory.txt
100644 blob 264e9841563aa6ebb162b545fb3442b85f00c38b	tagged-pointers.txt