040000 tree 564c1793d5675c0b2b9472f3c55233ba3e78aa63	allocator
040000 tree d80842011bd94b91182e45194f51f77d63325e64	loader
040000 tree badb813a3e45317b30d63a06c722ad9fb803a6b1	scheduler
040000 tree 13c5bebffb9f9f4a2271f4a9951ae9d940d58d99	software_revoker
040000 tree eca8a82607d69feab7d43dfd601529fdf2ea6fee	switcher
040000 tree 77216908a1546b225d188c1df7bd8f054eef7043	token_library