100644 blob 9d293eec8d725b5a59b2a429b41da2bf356c155e	allocman.h
100644 blob 3c13a75450da3b11d450248a71c374206a07311f	bootstrap.h
040000 tree 4eb85e3b2c4cebf9c36e0d46b4cb639407c28b7c	cspace
100644 blob 82df50ec1921add635931dc3f171f8823556aae0	cspaceops.h
040000 tree 8dcb61bfc6b3dc07a1ae82ea42a3b80b1691eae2	mspace
100644 blob 9e248ef5018fbdaf33fb7f2f583fe1eeae46fa09	properties.h
100644 blob 1f9f311aecb7a2fbd17d9f1b52b6c88245b68cac	util.h
040000 tree 54bcf420ba0f4a19c1b9746b09da97bbd16fc0ea	utspace
100644 blob 65258c9ab7501aca68d69032f1d56a897044b84b	vka.h