040000 tree 763245bb01ca766c2152fd3b45de278205918a9c	allocator
040000 tree 5d11aa43f9663e52d35b95951a740ed6166b6b8c	loader
040000 tree eff3cee8c04e055271b2cd3a001c588ceccaa914	scheduler
040000 tree 30fe448a18e506d74a5cb8890e60f62fb844b396	software_revoker
040000 tree e9f1f5debaf191dfaf4583e42dda6aeac40bb71c	switcher
040000 tree f8442aba51c807c3c88165f0aab1e5c6edee6388	token_library