Running Trusty on TX2

I am trying to run trusty on a TX2 board. I have only done the steps as given in the atf_and_trusty_README.txt.

Are thre any other steps invoved in making the device boot a secure OS?
Do I need to follow any other steps? or Do something to genereate the EKB and copy it to my device? What other documentation should I follow?

Currently I get the following from my boot log: