040000 tree 333b8c44a5fffa2c9dc8fe8db6b9c7198f98874c	allocator
040000 tree 5c180d0c9c584fe8aea3891dc3c41b5b202ce9b5	loader
040000 tree 478b60eb1ec9f7f29b972a80f10dfc7e7e421cd6	scheduler
040000 tree 30fe448a18e506d74a5cb8890e60f62fb844b396	software_revoker
040000 tree eca8a82607d69feab7d43dfd601529fdf2ea6fee	switcher
040000 tree 77216908a1546b225d188c1df7bd8f054eef7043	token_library