# GPL code is dual-licensed under licenses compatible with openssl. arm-trusted-firmware-tools binary: possible-gpl-code-linked-with-openssl