040000 tree a01a888d03af7e9c695ad9565d35cc1c7ab4e334	PICS-generator
040000 tree ec80bcad9e6fe82795c10c79448e33430ad5e97d	chip-cert
040000 tree 36daea0efb460b0933ed4ffebf7c33cd03f05c1b	device-graph
040000 tree 3290ca732fe6dcabe7eb0f45ce5233299c2be5f3	spake2p