Hi,
Thanks a lot Martin. it works. Now I try to modify the sd_card.run script based on what Christian mentioned above and make run/sd_card again. I get an error log message "Completion host signal timed out ". I have attached the whole log message here. I appreciate if you can tell me what is missing. Thanks
On Thu, Nov 5, 2015 at 2:36 PM, Martin Stein <martin.stein@...1...> wrote:
Hi Joseph
Am 05.11.2015 um 00:52 schrieb Joseph Lee:
I just try "make run/sd_card" on imx53QSB using this branch (https://github.com/m-stein/genode/commits/1497_usb_armory_demo) https://github.com/m-stein/genode/commits/1497_usb_armory_demo
This working branch is a good starting point as it contains some ESDHC fixes that are not on master yet. I've updated it last night. Do you have the latest version?
it displays the following log messages and hangs. It doesn't even start the test application (test/test-blk-cli) included the run script. Is the sd_card driver working? or what is missing?
Be aware, that you should not run 'sd_card' with Genodes Trustzone feature-set (platform 'hw_imx53_qsb_tz'), because Genode will then declare the ESDHC-IRQ to be unsecure to enable Linux to drive SD cards. Use the platform 'hw_imx53_qsb' instead when issuing 'create_builddir'.
Doing so, 'sd_card' succeeds on my i.Mx53. But make sure to cancel the test before the "write" stage begins if you don't want to risk data loss on your card. Did that solve your problems?
Cheers,
genode-main mailing list genode-main@lists.sourceforge.net https://lists.sourceforge.net/lists/listinfo/genode-main