Testing the SD Card Driver for Raspberry Pi Model B

[Norman Feske]

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

-- 
Dr.-Ing. Norman Feske
Genode Labs

http://www.genode-labs.com · http://genode.org

Genode Labs GmbH · Amtsgericht Dresden · HRB 28424 · Sitz Dresden
Geschäftsführer: Dr.-Ing. Norman Feske, Christian Helmuth