Testing the SD_card driver in Odroid-X2

[Christian Helmuth]

Hello Humberto,

maybe we should first get the file system out of way for testing your
driver. There is the sd_card.run script, which serves exactly this
purpose. So please try "make run/sd_card" in your scenario. You may
limit the scope of the block test by adjusted the config node as in
the attached patch.

Regards
-- 
Christian Helmuth
Genode Labs

http://www.genode-labs.com/ · http://genode.org/
https://twitter.com/GenodeLabs · /ˈdʒiː.nəʊd/

Genode Labs GmbH · Amtsgericht Dresden · HRB 28424 · Sitz Dresden
Geschäftsführer: Dr.-Ing. Norman Feske, Christian Helmuth
-------------- next part --------------
A non-text attachment was scrubbed...
Name: sd_card.patch
Type: text/x-diff
Size: 398 bytes
Desc: not available
URL: <http://lists.genode.org/pipermail/users/attachments/20150903/810ccdba/attachment.patch>