100644 blob 605679fdf9db3455aef8e702678b0dad668ba6b7	allocman.c
100644 blob a9ffd352076b8a04cfb69946146dd4885dca010d	bootstrap.c
040000 tree 02abbebbb78a82c2cd825a010a4b8a1d46717d2a	cspace
040000 tree 13cd929cf7aeece550d28641fcfac26a24e9061c	mspace
040000 tree 63fd1754a7aba27f955b8d579f3de519165b72fa	utspace
100644 blob f3337b7df33d67fa75d46d33fdac9ffd9d6c9dd4	vka.c