040000 tree bf318ac1837c1817a45f1bac0c879c4811d581b7	allocator
040000 tree 95857c6e03d08679a272672fa50c99a3229d35df	loader
040000 tree 111f618bdd8400e1f64d03588b39acba4589f54d	scheduler
040000 tree 30fe448a18e506d74a5cb8890e60f62fb844b396	software_revoker
040000 tree c46fb1d23c9b52b98b14681265520acdc3312d42	switcher
040000 tree f8442aba51c807c3c88165f0aab1e5c6edee6388	token_library