040000 tree e954ec9544ad42d14f55dc3c04187bad7a8d5891	baremetal
040000 tree ef10c8a77f56f0263a0c24742424aef6ec14dbc6	hubris
040000 tree b164da6496f990ebc0ed9eeeac943d1833627e84	linux
040000 tree 24cb4ad019ce599d468181a90191bef88f363c9b	rustcrypto
040000 tree 719de2e7f839c8b4aa964f6bf89ab8370192f9b2	tock