100644 blob 4da7ffa2c35bb229bc2a8f8e6fffc0cd363c6d42	allocman.c
100644 blob 9debfa2ae1b31e4c711932118a18289953df6602	bootstrap.c
040000 tree 1edd58001e6bdcf23e9f81bc4e39f071381dc040	cspace
040000 tree 6def8112391ec97732c830994285f7a454ec9ddb	mspace
040000 tree d3ea66ef595dd5d664b4f8b3af29e68b7edcd9f8	utspace
100644 blob be9230a4ee0e69456f95066c82f19fe7d46d7354	vka.c