Hello,

My name is Peeratham and I'm new to OP-TEE.
I'm trying to setup OP-TEE on Raspberry Pi3. I was able to build and create a bootable sd card. It was booting up with these message (captured using my phone, just in case it might help with troubleshooting):

==========================================

JTAG (gpio) enabled
Net: Net Initialization Skipped
No ethernet found.
Hit any key to stop autoboot: 0
reading Image
10220544 bytes read in 868 ms (11.2 MiB/s)
reading bcm22710-rpi-3-b.dtb
13376 bytes read in 19 ms (687.5 KiB/s)
reading optee.bin
362824 bytes read in 47 ms (7.4 MiB/s)
## Flattened Device tree blob at 01700000

Booting using the fdt blob at 0x1700000
reserving fdt memory region: addr=0 size=1000
reserving fdt memory region: addr=8000000 size=2000000
Loading Device tree to 0000000039f2d000, end 0000000039f3343f ... OK

Starting kernel ...
## Transferring control to ARM TF (at address 8400000) (dtb at 39f2d000)...

==========================================

but then the next screen appears with Raspberry graphics up top and a blinking cursor.

And the shell never comes up. So I was not able to continue with the rest of the steps in https://github.com/OP-TEE/build/blob/master/docs/rpi3.md#3-build-instructions

Do you have any suggestions to get this to work?

Regards,

-Peeratham