040000 tree 006aa40abe91c8f67ab4ffa2e98244a88ae92037	allocator
040000 tree d80842011bd94b91182e45194f51f77d63325e64	loader
040000 tree badb813a3e45317b30d63a06c722ad9fb803a6b1	scheduler
040000 tree 30fe448a18e506d74a5cb8890e60f62fb844b396	software_revoker
040000 tree eca8a82607d69feab7d43dfd601529fdf2ea6fee	switcher
040000 tree 77216908a1546b225d188c1df7bd8f054eef7043	token_library