040000 tree 92d4b34bac059943aba635eb78d641f15d2f0b67	allocator
040000 tree 87c7a08d5bd3de5eff926bb45fd9ed98ad681e80	loader
040000 tree 69a1a610f840d62cff44f17accb435f8b3e6c84b	scheduler
040000 tree 30fe448a18e506d74a5cb8890e60f62fb844b396	software_revoker
040000 tree e9f1f5debaf191dfaf4583e42dda6aeac40bb71c	switcher
040000 tree f8442aba51c807c3c88165f0aab1e5c6edee6388	token_library