040000 tree b64d67d40e4fe287a77fefcf75a7af7d74fb8158	PICS-generator
040000 tree 4c3882362c31c8de55f758acaf209057d52cff45	chip-cert
040000 tree 3dec14b5c67b375aad3008f0a55571c954ab7641	device-graph
040000 tree dc5b738ff302c5045edc2da7195ffd868ba145eb	spake2p