040000 tree a61db577f4a63285dfab50478f0d81db43858d2c	allocator
040000 tree e7ad7028b02b78e67ae3e16a7d2c22f8a7921438	loader
040000 tree 9202db1edd9b420e981f458170063754f676c6ce	scheduler
040000 tree 30fe448a18e506d74a5cb8890e60f62fb844b396	software_revoker
040000 tree cd9ded54b0c03aafd9a5b63c65f16705b4510c52	switcher
040000 tree 2a57c3f7b6afc4b81fb565f5012da0e38c8a79d7	token_library