040000 tree 4e4672eadf250d011056820f29101b84fca72e97	allocator
040000 tree 073b3a43b9baef83a5c4ca2653acfd536e02f04a	loader
040000 tree b835cef2a2fe4bfd6bd385b470434d8696eea407	scheduler
040000 tree 30fe448a18e506d74a5cb8890e60f62fb844b396	software_revoker
040000 tree a077a2afbf0cdce9da19207fe35004a733209e39	switcher
040000 tree ddb0fba872c89138cf020fd6c0a423b3590233e0	token_library