100644 blob e33dadd17c1efa6fa98ef8f17af1f6b6575f70b8	allocman.c
100644 blob 0a8576112dd348fd9c62b45725d148b8f4b3902b	bootstrap.c
040000 tree 9525d5db5e2afce77ae17ce4cdc03320fb41b3e6	cspace
040000 tree 1ee35ad16ccd3e9e167835c2beb8a506b7f414c8	mspace
040000 tree f9f81d0a0408b689f248e3b1556052fda8830186	utspace
100644 blob dce1252c21e97119e5514bca75b2d3c52e646c5a	vka.c