tee-stm32mp157f-dk2.elf does not provide the symbol tee_svc_do_call

[eric-misc]

Hi, there

I have a stm32mp157f-dk2 board and I am following the instructions on:

https://wiki.st.com/stm32mpu/index.php?title=STM32MPU_Developer_Package&sfr=stm32mpu

to install the developer package. I've compiled all the components one by one as indicated and I am now trying to use openocd and GDB to cross-debug the board. 

As I executed "$GDB -x Setup.gdb", with the correct symbol paths modified in Setup.gdb, an error message, as in the Subject line, showed before GDB aborted. 

Has anybody seen this error message before ? 

Thanks.

Eric

[chenchunyang]

I also encountered this problem, may I ask if you have solved it?