bidra till TEE-verktyg med öppen källkod: