Hi Norman, the serial output I sent you in the previous mail is for high capacity SD cards.
Best Regards, waldo On 04/09/15 04:52, Norman Feske wrote: > Hello Waldo, > >> [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 > you seem to be using a non-HC SD-card. So far, the driver has been used > and tested with high-capacity (HC) cards only. So you are walking on new > ground. But just to double check that we are not entirely on the wrong > track, may you give a high-capacity card a try? > > I suspect that the driver issues commands not understood by your > standard-capacity card. For example, as far as I remember, the block > addresses are specified in differently between the standard and > high-capacity protocol versions. But there may be also other subtle > differences between the protocol versions. To solve this issue, you may > need to review the SD protocol specification [1] for the > standard-capacity version and compare the SD protocol code [2] against it. > > [1] https://www.sdcard.org/downloads/pls/part1_410.pdf > [2] repos/os/src/drivers/sd_card/sd_card.h > repos/os/src/drivers/sd_card/rpi/sdhci.h > > Best regards > Norman > ------------------------------------------------------------------------------ _______________________________________________ genode-main mailing list [email protected] https://lists.sourceforge.net/lists/listinfo/genode-main
