040000 tree 63842cd66740f1254eebcd5f75c899931f94abb9	baremetal
040000 tree 098ae75f92e609942bbe9686129cfda9466aca30	hubris
040000 tree b752b02c1a8a0645905369ac5b8613b8c29c8a92	linux
040000 tree e0060e1a714022a4bbc01592eb6eb34bd5f0572c	rustcrypto
040000 tree 0503251590f81b256e6ea0a9472177cf10f259d7	tock