100644 blob ec23861d99e1542dd7fbf4ac7fa5eea6c7ca5359	allocman.h
100644 blob 30f95b0aa5a26075b32a870ab5a8891df4f6c4af	bootstrap.h
040000 tree dc7c114f82a73b4d23391ab9f2a0cfc39dc99106	cspace
100644 blob 34edc58f54a9241dee14ef1907e49af44c04299e	cspaceops.h
040000 tree d4a03d3f6fa9ca09aceb79f554a0df7537cb29d4	mspace
100644 blob 0fa5bb2c26883489ba9ec1e436c5781b428cff7b	properties.h
100644 blob b5c4915b69e7b343c368e4153dfe74c544484c83	util.h
040000 tree 5e36751301da031f6f1e54b659c8cf8c3c520ea4	utspace
100644 blob 6b38ecf74a1eae0bc5e26deadeb08bd68b410b61	vka.h