tree ffd3325de98847261d57727d3cfa90da2cac7d40
parent aaa8d7f15511fed8f872dc213f1c67446aa558c9
parent eb3dcd6b539cacb582f8b0dab155fc3b917005e1
author davidcunado-arm <david.cunado@arm.com> 1518814924 +0000
committer GitHub <noreply@github.com> 1518814924 +0000

Merge pull request #1258 from vchong/optee_dbg

optee: print header info before validate