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