Testing the SD Card Driver for Raspberry Pi Model B

[Waldo Paz Rodriguez]

Hello Genode comunity, I 'm testing the SD Card driver for Raspberry Pi 
model B, essentially I execute the sd_card.run scenario. The test fail 
when the reading process is called. This is the serial output:

Genode 15.05-150-g4bc5872 <local changes>
int main(): --- create local services ---
int main(): --- start init ---
int main(): transferred 249 MB to init
int main(): --- init created, waiting for exit condition ---
[init] Could not open ROM session for module "ld.lib.so"
[init -> platform_drv] --- Raspberry Pi platform driver ---
[init -> sd_card_drv] --- SD card driver ---
[init -> platform_drv] Input message:
[init -> platform_drv]  00000018 00000000 00020001 00000008 00000004 
00000000 00000000
[init -> platform_drv] Output message:
[init -> platform_drv]  00000018 80000001 00020001 00000008 80000008 
00000000 00000001
[init -> sd_card_drv] -> index=0x00000000, arg=0x00000000, rsp_type=0
[init -> sd_card_drv] -> index=0x00000008, arg=0x000001aa, rsp_type=2
[init -> sd_card_drv] -> index=0x00000037, arg=0x00000000, rsp_type=2
[init -> sd_card_drv] -> index=0x00000029, arg=0x40018000, rsp_type=2
[init -> sd_card_drv] -> index=0x00000037, arg=0x00000000, rsp_type=2
[init -> sd_card_drv] -> index=0x00000029, arg=0x40018000, rsp_type=2
[init -> sd_card_drv] -> index=0x00000002, arg=0x00000000, rsp_type=1
[init -> sd_card_drv] CID: 0x1b534d30 0x30303030 0x100702ac 0x1200cc00
[init -> sd_card_drv] -> index=0x00000003, arg=0x00000000, rsp_type=2
[init -> sd_card_drv] RCA: 0x59b4
[init -> sd_card_drv] -> index=0x00000009, arg=0x59b40000, rsp_type=1
[init -> sd_card_drv] -> index=0x00000007, arg=0x59b40000, rsp_type=2
[init -> sd_card_drv] -> index=0x00000037, arg=0x59b40000, rsp_type=2
[init -> sd_card_drv] -> index=0x00000006, arg=0x00000002, rsp_type=2
[init -> sd_card_drv] SD card detected
[init -> sd_card_drv] capacity: 7523 MiB
[init -> test-blk-cli] block device with block size 512 sector count 
15407104 (testing 131072 sectors)
[init -> sd_card_drv] -> index=0x00000000, arg=0x00000000, rsp_type=0
[init -> sd_card_drv] -> index=0x00000008, arg=0x000001aa, rsp_type=2
[init -> sd_card_drv] -> index=0x00000037, arg=0x00000000, rsp_type=2
[init -> sd_card_drv] -> index=0x00000029, arg=0x40018000, rsp_type=2
[init -> sd_card_drv] -> index=0x00000037, arg=0x00000000, rsp_type=2
[init -> sd_card_drv] -> index=0x00000029, arg=0x40018000, rsp_type=2
[init -> sd_card_drv] -> index=0x00000002, arg=0x00000000, rsp_type=1
[init -> sd_card_drv] CID: 0x1b534d30 0x30303030 0x100702ac 0x1200cc00
[init -> sd_card_drv] -> index=0x00000003, arg=0x00000000, rsp_type=2
[init -> sd_card_drv] RCA: 0x59b4
[init -> sd_card_drv] -> index=0x00000009, arg=0x59b40000, rsp_type=1
[init -> sd_card_drv] -> index=0x00000007, arg=0x59b40000, rsp_type=2
[init -> sd_card_drv] -> index=0x00000037, arg=0x59b40000, rsp_type=2
[init -> sd_card_drv] -> index=0x00000006, arg=0x00000002, rsp_type=2
[init -> sd_card_drv] SD card detected
[init -> sd_card_drv] capacity: 7523 MiB
[init -> test-blk-cli] reading block 0 - 131071, 246 per request
[init -> sd_card_drv] -> index=0x00000012, arg=0x00000000, rsp_type=2
[init -> sd_card_drv] command timed out
[init -> sd_card_drv] Read_multiple_block failed, Status: 0x01ff0207
[init -> test-blk-cli] Test failed!
[init -> test-blk-cli] couldn't read block 0 - 246
[init] virtual void Genode::Child_policy::exit(int): child 
"test-blk-cli" exited with exit value -2

Regards  waldo