040000 tree 68b85f7d24d832cbdd92482ce187018653f87c48	allocator
040000 tree 5d11aa43f9663e52d35b95951a740ed6166b6b8c	loader
040000 tree 6db5f670408e351ef9a108a0fc478b40d90ad0d1	scheduler
040000 tree 30fe448a18e506d74a5cb8890e60f62fb844b396	software_revoker
040000 tree 0348e40cd328d5cc7f611a1d843acfa24b28964c	switcher
040000 tree 63c0568349713a528623ae8824526199ac2ebca4	token_library