040000 tree cf9c4866bd483e6a8561f828bd5fd1d6d2dc6680	allocator
040000 tree 46fc3c24435adf004e1e2162076b9dce9bd5db31	loader
040000 tree c1fbac57bf3049f564d42aac810fbd13ed8a20b3	scheduler
040000 tree 13c5bebffb9f9f4a2271f4a9951ae9d940d58d99	software_revoker
040000 tree eca8a82607d69feab7d43dfd601529fdf2ea6fee	switcher
040000 tree 77216908a1546b225d188c1df7bd8f054eef7043	token_library