040000 tree d0e8b5474bc6ac94175c75afadbc414e09e67bee	allocator
040000 tree 95857c6e03d08679a272672fa50c99a3229d35df	loader
040000 tree 332053560fd9134532c6d0b4e803fbf929eeff1d	scheduler
040000 tree 30fe448a18e506d74a5cb8890e60f62fb844b396	software_revoker
040000 tree 8a764e97000360bd22c32cb782c054fa2d72a820	switcher
040000 tree f8442aba51c807c3c88165f0aab1e5c6edee6388	token_library