040000 tree c92ba5f3105223e9a723cad9e636068159683f80	PICS-generator
040000 tree 4c3882362c31c8de55f758acaf209057d52cff45	chip-cert
040000 tree 3dec14b5c67b375aad3008f0a55571c954ab7641	device-graph
040000 tree 523581affc13769e45d52f1cb64aaae1182d05d0	spake2p