040000 tree 3b54850718472b8841ca781c9e9a3084cddc680b	allocator
040000 tree af02430980b4086b920ead63137e53a3f9167f03	loader
040000 tree 9d1ebe57130d4ba88cdb34f27452d5a52be4c9fa	scheduler
040000 tree 13c5bebffb9f9f4a2271f4a9951ae9d940d58d99	software_revoker
040000 tree eca8a82607d69feab7d43dfd601529fdf2ea6fee	switcher
040000 tree 77216908a1546b225d188c1df7bd8f054eef7043	token_library