100644 blob beb754e87c6552e31077d08cb1f3e99d24a09c47	booting.txt
100644 blob 1b84f2b7e65a49453f83a2d709d5a56d02a22b78	memory.txt
100644 blob d9995f1f51b3eb9e678a557a471e4d387db49ca8	tagged-pointers.txt