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