Hi Waldo, thanks for testing my patch.
On 25.06.2015 17:00, Waldo Paz Rodriguez wrote: > Hi Norman, these is the serial output for last patch that you send me: ... > [init -> sd_card_drv] SD card detected > [init -> sd_card_drv] capacity: 997888 MiB apparently, the value is off by the factor 1K. I just found the reason: Whereas the capacity-calculation (as given in the specification) for SD-cards of version 1.0 result in a value given in 512-byte blocks, the calculation for version 2.0 results in a value in 512-KiB blocks. I have corrected the capacity detection in this respect. Could you please give it a try? You can find the current version on my topic branch: https://github.com/nfeske/genode/commits/rpi_sdcard On the branch you can also find a commit with a simple benchmark that I used to measure the throughput. 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 ------------------------------------------------------------------------------ Monitor 25 network devices or servers for free with OpManager! OpManager is web-based network management software that monitors network devices and physical & virtual servers, alerts via email & sms for fault. Monitor 25 devices for free with no restriction. Download now http://ad.doubleclick.net/ddm/clk/292181274;119417398;o _______________________________________________ genode-main mailing list genode-main@lists.sourceforge.net https://lists.sourceforge.net/lists/listinfo/genode-main
