040000 tree 06f405e750e0b010029f41df85691133ed431a45	allocator
040000 tree d80842011bd94b91182e45194f51f77d63325e64	loader
040000 tree 446d9e3b685d52da301569759955d72698ea466f	scheduler
040000 tree 30fe448a18e506d74a5cb8890e60f62fb844b396	software_revoker
040000 tree eca8a82607d69feab7d43dfd601529fdf2ea6fee	switcher
040000 tree 77216908a1546b225d188c1df7bd8f054eef7043	token_library