100644 blob e33dadd17c1efa6fa98ef8f17af1f6b6575f70b8	allocman.c
100644 blob f9bfec8e786c1a0db88161d9e83203f0fdb30ab8	bootstrap.c
040000 tree 9525d5db5e2afce77ae17ce4cdc03320fb41b3e6	cspace
040000 tree d963872be66848db9dd248ac4b8cbc100938e1d6	mspace
040000 tree f9f81d0a0408b689f248e3b1556052fda8830186	utspace
100644 blob dce1252c21e97119e5514bca75b2d3c52e646c5a	vka.c