]> git.baikalelectronics.ru Git - arm-tf.git/commitdiff
Merge pull request #1258 from vchong/optee_dbg
authordavidcunado-arm <david.cunado@arm.com>
Fri, 16 Feb 2018 21:02:04 +0000 (21:02 +0000)
committerGitHub <noreply@github.com>
Fri, 16 Feb 2018 21:02:04 +0000 (21:02 +0000)
optee: print header info before validate


Trivial merge