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 ------------------------------------------------------------------------------ Presto, an open source distributed SQL query engine for big data, initially developed by Facebook, enables you to easily query your data on Hadoop in a more interactive manner. Teradata is also now providing full enterprise support for Presto. Download a free open source copy now. http://pubads.g.doubleclick.net/gampad/clk?id=250295911&iu=/4140 _______________________________________________ genode-main mailing list genode-main@lists.sourceforge.net https://lists.sourceforge.net/lists/listinfo/genode-main