040000 tree cf01f206f67997ef24f9e5b0070f30a64f388af4	allocator
040000 tree ceb12bf3c1cd08155debfae876f366f14a34919b	loader
040000 tree 0b40182aecb0e90a3acf60a8a108b445d4c9b292	scheduler
040000 tree 30fe448a18e506d74a5cb8890e60f62fb844b396	software_revoker
040000 tree 0348e40cd328d5cc7f611a1d843acfa24b28964c	switcher
040000 tree 63c0568349713a528623ae8824526199ac2ebca4	token_library