040000 tree 4e4672eadf250d011056820f29101b84fca72e97	allocator
040000 tree 5a8f0142c463f5bbf4c827f226d1ec938449cd47	loader
040000 tree e9383244b9701ec9951a6d9e140918658a469d45	scheduler
040000 tree 30fe448a18e506d74a5cb8890e60f62fb844b396	software_revoker
040000 tree 6451ec6d5cf3487922be8f95c0b55a081d5774f2	switcher
040000 tree 77216908a1546b225d188c1df7bd8f054eef7043	token_library