Hi Norman, excuse delay in answer, I've been a little busy. I tried the
example of the SD card and, indeed, it calculates the size succesfully,
but the problems remain and that the example can not perform both reads
and writes. I tried two examples sd_card and sd_card_bench with the
changes you suggested. I attached the serial outputs of the two examples.
greetings waldo
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 ---
\0x1b[0m[init -> sd_card_bench] --- SDHCI SD card benchmark ---
[init -> sd_card_bench] \0x1b[33m-> index=0x00000000, arg=0x00000000,
rsp_type=0\0x1b[0m
[init -> sd_card_bench] \0x1b[33m-> index=0x00000008, arg=0x000001aa,
rsp_type=2\0x1b[0m
[init -> sd_card_bench] \0x1b[33m-> index=0x00000037, arg=0x00000000,
rsp_type=2\0x1b[0m
[init -> sd_card_bench] \0x1b[33m-> index=0x00000029, arg=0x40018000,
rsp_type=2\0x1b[0m
[init -> sd_card_bench] \0x1b[33m-> index=0x00000037, arg=0x00000000,
rsp_type=2\0x1b[0m
[init -> sd_card_bench] \0x1b[33m-> index=0x00000029, arg=0x40018000,
rsp_type=2\0x1b[0m
[init -> sd_card_bench] \0x1b[33m-> index=0x00000002, arg=0x00000000,
rsp_type=1\0x1b[0m
[init -> sd_card_bench] \0x1b[33mCID: 0x1b534d30 0x30303030 0x10b1fbc7
0xbd008a00\0x1b[0m
[init -> sd_card_bench] \0x1b[33m-> index=0x00000003, arg=0x00000000,
rsp_type=2\0x1b[0m
[init -> sd_card_bench] \0x1b[33mRCA: 0x0002\0x1b[0m
[init -> sd_card_bench] \0x1b[33m-> index=0x00000009, arg=0x00020000,
rsp_type=1\0x1b[0m
[init -> sd_card_bench] \0x1b[33mCSD: 0x007fff32 0x5f5983ce 0x76dbdfff
0x92400000\0x1b[0m
[init -> sd_card_bench] \0x1b[33m-> index=0x00000007, arg=0x00020000,
rsp_type=2\0x1b[0m
[init -> sd_card_bench] \0x1b[33m-> index=0x00000037, arg=0x00020000,
rsp_type=2\0x1b[0m
[init -> sd_card_bench] \0x1b[33m-> index=0x00000006, arg=0x00000002,
rsp_type=2\0x1b[0m
[init -> sd_card_bench] \0x1b[33mSD card detected\0x1b[0m
[init -> sd_card_bench] \0x1b[33mcapacity: 974 MiB\0x1b[0m
[init -> sd_card_bench]
[init -> sd_card_bench] -- reading from SD card --
[init -> sd_card_bench] \0x1b[33mrequest_size=512 bytes\0x1b[0m
[init -> sd_card_bench] \0x1b[33m-> index=0x00000012, arg=0x00002800,
rsp_type=2\0x1b[0m
[init -> sd_card_bench] \0x1b[31mcommand timed out\0x1b[0m
[init -> sd_card_bench] \0x1b[31mRead_multiple_block failed, Status:
0x01ff0207\0x1b[0m
[init -> sd_card_bench] void* abort(): \0x1b[33mabort called\0x1b[0m
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 -> 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: 974 MiB\0x1b[0m
[init -> test-blk-cli] \0x1b[32mtest count 65536\0x1b[0m
[init -> test-blk-cli] \0x1b[32mblock device with block size 512 sector count
1994752 (testing 65536 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: 974 MiB\0x1b[0m
[init -> test-blk-cli] \0x1b[32mreading block 0 - 65535, 246 per request\0x1b[0m
[init -> test-blk-cli] \0x1b[32mreading block 0 - 65535\0x1b[0m
[init -> test-blk-cli] \0x1b[32mreading block 246 - 65535\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
------------------------------------------------------------------------------
Don't Limit Your Business. Reach for the Cloud.
GigeNET's Cloud Solutions provide you with the tools and support that
you need to offload your IT needs and focus on growing your business.
Configured For All Businesses. Start Your Cloud Today.
https://www.gigenetcloud.com/
_______________________________________________
genode-main mailing list
genode-main@lists.sourceforge.net
https://lists.sourceforge.net/lists/listinfo/genode-main
