Driver SD Card for Raspberry Pi

[Waldo Paz Rodriguez]

Hi Norman, excuse delay in answer, I've been a little busy. I tried the 
example of the SD card and, indeed, it calculates the size succesfully, 
but the problems remain and that the example can not perform both reads 
and writes. I tried two examples sd_card and sd_card_bench with the 
changes you suggested. I attached the serial outputs of the two examples.

greetings waldo
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.genode.org/pipermail/users/attachments/20150630/5f51236a/attachment.html>
-------------- next part --------------
kernel initialized
\0x1b[32mGenode 15.05-18-gd94a1ad <local changes>\0x1b[0m
int main(): \0x1b[33m--- create local services ---\0x1b[0m
int main(): \0x1b[33m--- start init ---\0x1b[0m
int main(): \0x1b[33mtransferred 253 MB to init\0x1b[0m
int main(): \0x1b[33m--- init created, waiting for exit condition ---\0x1b[0m
[init] \0x1b[31mCould not open ROM session for module "ld.lib.so"\0x1b[0m
[init -> platform_drv] \0x1b[32m--- Raspberry Pi platform driver ---
\0x1b[0m[init -> sd_card_bench] --- SDHCI SD card benchmark ---
[init -> sd_card_bench] \0x1b[33m-> index=0x00000000, arg=0x00000000, rsp_type=0\0x1b[0m
[init -> sd_card_bench] \0x1b[33m-> index=0x00000008, arg=0x000001aa, rsp_type=2\0x1b[0m
[init -> sd_card_bench] \0x1b[33m-> index=0x00000037, arg=0x00000000, rsp_type=2\0x1b[0m
[init -> sd_card_bench] \0x1b[33m-> index=0x00000029, arg=0x40018000, rsp_type=2\0x1b[0m
[init -> sd_card_bench] \0x1b[33m-> index=0x00000037, arg=0x00000000, rsp_type=2\0x1b[0m
[init -> sd_card_bench] \0x1b[33m-> index=0x00000029, arg=0x40018000, rsp_type=2\0x1b[0m
[init -> sd_card_bench] \0x1b[33m-> index=0x00000002, arg=0x00000000, rsp_type=1\0x1b[0m
[init -> sd_card_bench] \0x1b[33mCID: 0x1b534d30 0x30303030 0x10b1fbc7 0xbd008a00\0x1b[0m
[init -> sd_card_bench] \0x1b[33m-> index=0x00000003, arg=0x00000000, rsp_type=2\0x1b[0m
[init -> sd_card_bench] \0x1b[33mRCA: 0x0002\0x1b[0m
[init -> sd_card_bench] \0x1b[33m-> index=0x00000009, arg=0x00020000, rsp_type=1\0x1b[0m
[init -> sd_card_bench] \0x1b[33mCSD: 0x007fff32 0x5f5983ce 0x76dbdfff 0x92400000\0x1b[0m
[init -> sd_card_bench] \0x1b[33m-> index=0x00000007, arg=0x00020000, rsp_type=2\0x1b[0m
[init -> sd_card_bench] \0x1b[33m-> index=0x00000037, arg=0x00020000, rsp_type=2\0x1b[0m
[init -> sd_card_bench] \0x1b[33m-> index=0x00000006, arg=0x00000002, rsp_type=2\0x1b[0m
[init -> sd_card_bench] \0x1b[33mSD card detected\0x1b[0m
[init -> sd_card_bench] \0x1b[33mcapacity: 974 MiB\0x1b[0m
[init -> sd_card_bench] 
[init -> sd_card_bench] -- reading from SD card --
[init -> sd_card_bench] \0x1b[33mrequest_size=512 bytes\0x1b[0m
[init -> sd_card_bench] \0x1b[33m-> index=0x00000012, arg=0x00002800, rsp_type=2\0x1b[0m
[init -> sd_card_bench] \0x1b[31mcommand timed out\0x1b[0m
[init -> sd_card_bench] \0x1b[31mRead_multiple_block failed, Status: 0x01ff0207\0x1b[0m
[init -> sd_card_bench] void* abort(): \0x1b[33mabort called\0x1b[0m
-------------- next part --------------
kernel initialized
\0x1b[32mGenode 15.05-18-gd94a1ad <local changes>\0x1b[0m
int main(): \0x1b[33m--- create local services ---\0x1b[0m
int main(): \0x1b[33m--- start init ---\0x1b[0m
int main(): \0x1b[33mtransferred 253 MB to init\0x1b[0m
int main(): \0x1b[33m--- init created, waiting for exit condition ---\0x1b[0m
[init] \0x1b[31mCould not open ROM session for module "ld.lib.so"\0x1b[0m
[init -> platform_drv] \0x1b[32m--- Raspberry Pi platform driver ---
[init -> sd_card_drv] --- SD card driver ---
[init -> sd_card_drv] \0x1b[33m-> index=0x00000000, arg=0x00000000, rsp_type=0\0x1b[0m
[init -> sd_card_drv] \0x1b[33m-> index=0x00000008, arg=0x000001aa, rsp_type=2\0x1b[0m
[init -> sd_card_drv] \0x1b[33m-> index=0x00000037, arg=0x00000000, rsp_type=2\0x1b[0m
[init -> sd_card_drv] \0x1b[33m-> index=0x00000029, arg=0x40018000, rsp_type=2\0x1b[0m
[init -> sd_card_drv] \0x1b[33m-> index=0x00000037, arg=0x00000000, rsp_type=2\0x1b[0m
[init -> sd_card_drv] \0x1b[33m-> index=0x00000029, arg=0x40018000, rsp_type=2\0x1b[0m
[init -> sd_card_drv] \0x1b[33m-> index=0x00000002, arg=0x00000000, rsp_type=1\0x1b[0m
[init -> sd_card_drv] \0x1b[33mCID: 0x1b534d30 0x30303030 0x10b1fbc7 0xbd008a00\0x1b[0m
[init -> sd_card_drv] \0x1b[33m-> index=0x00000003, arg=0x00000000, rsp_type=2\0x1b[0m
[init -> sd_card_drv] \0x1b[33mRCA: 0x0002\0x1b[0m
[init -> sd_card_drv] \0x1b[33m-> index=0x00000009, arg=0x00020000, rsp_type=1\0x1b[0m
[init -> sd_card_drv] \0x1b[33mCSD: 0x007fff32 0x5f5983ce 0x76dbdfff 0x92400000\0x1b[0m
[init -> sd_card_drv] \0x1b[33m-> index=0x00000007, arg=0x00020000, rsp_type=2\0x1b[0m
[init -> sd_card_drv] \0x1b[33m-> index=0x00000037, arg=0x00020000, rsp_type=2\0x1b[0m
[init -> sd_card_drv] \0x1b[33m-> index=0x00000006, arg=0x00000002, rsp_type=2\0x1b[0m
[init -> sd_card_drv] \0x1b[33mSD card detected\0x1b[0m
[init -> sd_card_drv] \0x1b[33mcapacity: 974 MiB\0x1b[0m
[init -> test-blk-cli] \0x1b[32mtest count 65536\0x1b[0m
[init -> test-blk-cli] \0x1b[32mblock device with block size 512 sector count 1994752 (testing 65536 sectors)\0x1b[0m
[init -> sd_card_drv] \0x1b[33m-> index=0x00000000, arg=0x00000000, rsp_type=0\0x1b[0m
[init -> sd_card_drv] \0x1b[33m-> index=0x00000008, arg=0x000001aa, rsp_type=2\0x1b[0m
[init -> sd_card_drv] \0x1b[33m-> index=0x00000037, arg=0x00000000, rsp_type=2\0x1b[0m
[init -> sd_card_drv] \0x1b[33m-> index=0x00000029, arg=0x40018000, rsp_type=2\0x1b[0m
[init -> sd_card_drv] \0x1b[33m-> index=0x00000037, arg=0x00000000, rsp_type=2\0x1b[0m
[init -> sd_card_drv] \0x1b[33m-> index=0x00000029, arg=0x40018000, rsp_type=2\0x1b[0m
[init -> sd_card_drv] \0x1b[33m-> index=0x00000002, arg=0x00000000, rsp_type=1\0x1b[0m
[init -> sd_card_drv] \0x1b[33mCID: 0x1b534d30 0x30303030 0x10b1fbc7 0xbd008a00\0x1b[0m
[init -> sd_card_drv] \0x1b[33m-> index=0x00000003, arg=0x00000000, rsp_type=2\0x1b[0m
[init -> sd_card_drv] \0x1b[33mRCA: 0x0002\0x1b[0m
[init -> sd_card_drv] \0x1b[33m-> index=0x00000009, arg=0x00020000, rsp_type=1\0x1b[0m
[init -> sd_card_drv] \0x1b[33mCSD: 0x007fff32 0x5f5983ce 0x76dbdfff 0x92400000\0x1b[0m
[init -> sd_card_drv] \0x1b[33m-> index=0x00000007, arg=0x00020000, rsp_type=2\0x1b[0m
[init -> sd_card_drv] \0x1b[33m-> index=0x00000037, arg=0x00020000, rsp_type=2\0x1b[0m
[init -> sd_card_drv] \0x1b[33m-> index=0x00000006, arg=0x00000002, rsp_type=2\0x1b[0m
[init -> sd_card_drv] \0x1b[33mSD card detected\0x1b[0m
[init -> sd_card_drv] \0x1b[33mcapacity: 974 MiB\0x1b[0m
[init -> test-blk-cli] \0x1b[32mreading block 0 - 65535, 246 per request\0x1b[0m
[init -> test-blk-cli] \0x1b[32mreading block 0 - 65535\0x1b[0m
[init -> test-blk-cli] \0x1b[32mreading block 246 - 65535\0x1b[0m
[init -> sd_card_drv] \0x1b[33m-> index=0x00000012, arg=0x00000000, rsp_type=2\0x1b[0m
[init -> sd_card_drv] \0x1b[31mcommand timed out\0x1b[0m
[init -> sd_card_drv] \0x1b[31mRead_multiple_block failed, Status: 0x01ff0207\0x1b[0m
[init -> test-blk-cli] \0x1b[31mTest failed!\0x1b[0m
[init -> test-blk-cli] \0x1b[32mcouldn't read block 0 - 246\0x1b[0m
[init] virtual void Genode::Child_policy::exit(int): \0x1b[33mchild "test-blk-cli" exited with exit value -2\0x1b[0m