040000 tree bf318ac1837c1817a45f1bac0c879c4811d581b7	allocator
040000 tree c66e46fd5a182e1a335f023a9dbcb695e873ea84	loader
040000 tree 5f603b6ae0ace6e437ebcc7e7f3bc5aeca7a8a0c	scheduler
040000 tree 30fe448a18e506d74a5cb8890e60f62fb844b396	software_revoker
040000 tree c46fb1d23c9b52b98b14681265520acdc3312d42	switcher
040000 tree f8442aba51c807c3c88165f0aab1e5c6edee6388	token_library