Hello, I have a i.mx6q sabre SD board and I want to try it with genode and TrustZone feature. I found there's a related issue: https://sourceforge.net/p/genode/mailman/genode-main/thread/5535FB27.1090605..., I tried it with Genode as secure world (https://github.com/iitmadras/genode/tree/hw_sabrelite_tz_support) and met the same problem that it stuck at : Starting Kernel .... And the solution mentioned it was about the UART configuration difference with sabre Lite and sabre SD board. However, I am little confused with it.

First, the sabre Lite and sabre SD board are both equiped with 4 i.MX6 processor, so I think the UART address are same which can be found in "i.MX 6Dual/6Quad Applications Processor Reference Manual", so I can not understand where is the UART configration difference. Also, I have tried to modify the UART_1_MMIO_BASE in [1] to all the UART address in "i.MX 6Dual/6Quad Applications Processor Reference Manual", but the problem still exist.

Second, when I create the build dir with: ./tool/creat_builddir hw_sabrelite and try it with run/printf, it can successfully print the message. But when I create the build dir with: ./too/creat_builddir hw_sabrelite_tz and try it with run/printf, it stuck at "starting kernel ..." . In other words , I cannot get the print message successfully with TrustZone.

Please give me advice to fix this problem. By the way, I want to know if there's any newer version that I can try genode with TrustZone on i.mx6. Thanks a lot.

------------------ Best wishes