040000 tree d060dfa8f86eb994677e3ed6d5e560a106f589a3	allocator
040000 tree 1e1a3e62e48717244460d92770e76520ea7361b7	loader
040000 tree c1fbac57bf3049f564d42aac810fbd13ed8a20b3	scheduler
040000 tree 81188b76cb0b10745bc8e6c821a8deccaa545bd5	software_revoker
040000 tree eca8a82607d69feab7d43dfd601529fdf2ea6fee	switcher
040000 tree 77216908a1546b225d188c1df7bd8f054eef7043	token_library