[Tee-dev] Raspberry Pi 3 and OP-TEE

Hi, I would like to try OP-TEE on the Raspberry Pi 3.I read in http://linuxgizmos.com/trustzone-tee-tech-ported-to-raspberry-pi-3/ that I would need a bus blaster and a custom cable for bare metal debugging.Would it be possible to point me where to get those? Is there one you can recommend? Is there any documentation on how to set it up from scratch on the Raspberry Pi?Thanks,Noam