040000 tree 29bd0d6790137855e11b92ef36a0d37e5aa5d03d	baremetal
040000 tree ef10c8a77f56f0263a0c24742424aef6ec14dbc6	hubris
040000 tree b164da6496f990ebc0ed9eeeac943d1833627e84	linux
040000 tree 81c1abb784021df1cdfcd66049f70fb70673f298	rustcrypto
040000 tree 719de2e7f839c8b4aa964f6bf89ab8370192f9b2	tock