100644 blob 37fc4f632176135ad32cf23ac64f5ceb54bfc9d9	booting.txt
100644 blob d50fa618371b3fa35c79bf3beb46e2f7dd4f4122	memory.txt
100644 blob d9995f1f51b3eb9e678a557a471e4d387db49ca8	tagged-pointers.txt