Driver SD Card for Raspberry Pi

[Waldo Paz Rodriguez]

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:


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 -> test-blk-cli] \0x1b[32mAllocator:\0x1b[0m

[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: 510918656 MiB\0x1b[0m

[init -> test-blk-cli] \0x1b[32mblock device with block size 512 sector 
count 2684354560 (testing 2684354560 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: 510918656 MiB\0x1b[0m

[init -> test-blk-cli] \0x1b[32mreading block 0 - 2684354559, 246 per 
request\0x1b[0m

[init -> test-blk-cli] \0x1b[32mreading block 246 - 2684354559\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



greetingswaldo

-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.genode.org/pipermail/users/attachments/20150625/96a0d7ce/attachment.html>