Driver SD Card for Raspberry Pi

[Norman Feske]

Hi Waldo,

On 25.06.2015 16:15, Waldo Paz Rodriguez wrote:
> Hi Norman, thanks for the replies, I apply both patches. The first if
> solved the problem that existed with interruptions, but the second still
> does not calculate the capacity correctly, I'm testing with a standard
> SD card of 1GB of capacity. I send the serial output using both got patches:

thanks for the feedback. Could you please give the attached patch a try?

Cheers
Norman

-- 
Dr.-Ing. Norman Feske
Genode Labs

http://www.genode-labs.com · http://genode.org

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_capacity.patch
Type: text/x-diff
Size: 691 bytes
Desc: not available
URL: <http://lists.genode.org/pipermail/users/attachments/20150625/11b63524/attachment.patch>