040000 tree 783d24d5bdfad80d5cd358ce2603adc9293a7fe9	allocator
040000 tree 5d11aa43f9663e52d35b95951a740ed6166b6b8c	loader
040000 tree 444a689c37f557a31a05fe9ab2bffb5c4bf4bff4	scheduler
040000 tree 30fe448a18e506d74a5cb8890e60f62fb844b396	software_revoker
040000 tree 0348e40cd328d5cc7f611a1d843acfa24b28964c	switcher
040000 tree f8442aba51c807c3c88165f0aab1e5c6edee6388	token_library