gerrit.devboardsforandroid.linaro.org / platform / external / u-boot / d999a7b7b687a138453f11e30401c0e41085612e / doc / device-tree-bindings / firmware / linaro,optee-tz.txt