100644 blob 09ffa34bc6ba15ffc02b6481a526d75da659e6c7	allocman.h
100644 blob cade99061d3d4b5c3079a1c7091bfc5a2d3d65e8	bootstrap.h
040000 tree bf203364d8ae21ffd82935d2b7d105516d0a1a2e	cspace
100644 blob 40dc4e601a721b94e2f1bc7626dea1d135eaf0dd	cspaceops.h
040000 tree b64db76deacf5334b1dddda9259f8ec2b23806a0	mspace
100644 blob 839541c5386184fa47747654e4fc20740c50addb	properties.h
100644 blob ca744c19f8821c19babb0e2d5237255f319ee009	util.h
040000 tree c2e1a315dce3f4582c3a7c83d73e1d6d83e20b5b	utspace
100644 blob cd891e425a93e09aeab268ea9c79ce23dd622edd	vka.h