Hi Joseph,
Am 15.11.2015 um 03:05 schrieb Joseph Lee:
Hi Martin, thank you so much! it works for me.
Nice! Could you please also share with us what the problem was and what solved it.
Now I just need to use the sd_card driver with Genode trustzone feature (hw_imx53_qsb_tz). I tried to incorporate sd_card driver with tz_vmm run script and make run/tz_vmm. I get the following log messages and it gets stuck. it doesn't even run tz_vmm application. I appreciate if you can give me some hints to fix this.
As already mentioned earlier in this discussion, hw_imx53_qsb_tz sets the ESDHC MMIO and IRQs unsecure. This is done in [1], [2] and [3]. You can find examples on how to do Trustzone settings specifier-dependend in my working branch [4].
Cheers, Martin
[1] repos/base-hw/src/core/include/spec/imx53/trustzone/csu.h:159 [2] repos/base-hw/src/core/include/spec/imx53/trustzone/csu.h:215 [3] repos/base-hw/src/core/spec/imx53/trustzone/platform_support.cc:48 [4] https://github.com/m-stein/genode/tree/1497_usb_armory_demo