040000 tree 450d10093754fc877da068b69c62fac821bec624	allocator
040000 tree 52dad58d1cdfd9d7841c50a00a365697b18f4629	loader
040000 tree 4071908a259f330f6bfb09c1ad57169dbf04991e	scheduler
040000 tree 30fe448a18e506d74a5cb8890e60f62fb844b396	software_revoker
040000 tree 3974fbd7b48399fed629f21472744bcbfb6915fd	switcher
040000 tree 63c0568349713a528623ae8824526199ac2ebca4	token_library