100644 blob fd63dc77a2f0bfc138416f92ad7604092c369816	lib.rs
040000 tree 35edb5c684bfc4e3c85d7f1aefeb08ccd09fafab	proc_manager
040000 tree b6230657b4490eecaa6bba035d1b9d7b97eb588a	sel4bundle