040000 tree b611f6f48f92e2844863a606e89265c720121d85	allocator
040000 tree d80842011bd94b91182e45194f51f77d63325e64	loader
040000 tree 3ee966294ce50fd0827acaf5484e5a3f91bf8b22	scheduler
040000 tree 13c5bebffb9f9f4a2271f4a9951ae9d940d58d99	software_revoker
040000 tree eca8a82607d69feab7d43dfd601529fdf2ea6fee	switcher
040000 tree 77216908a1546b225d188c1df7bd8f054eef7043	token_library