040000 tree 3342c93f5dc09965ef9f0f8168abd81c52942232	allocator
040000 tree 7f5263a9ecd02339f259574ffad1fa250c4d3d81	loader
040000 tree b835cef2a2fe4bfd6bd385b470434d8696eea407	scheduler
040000 tree 30fe448a18e506d74a5cb8890e60f62fb844b396	software_revoker
040000 tree b08c994ee201754508a16e8b903f2ffe4527d919	switcher
040000 tree ddb0fba872c89138cf020fd6c0a423b3590233e0	token_library