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@...12...ceforge.net
https://lists.sourceforge.net/lists/listinfo/genode-main