Driver SD Card for Raspberry Pi

[Waldo Paz Rodriguez]

Hello genode comunity, I have been testing the sdcard driver for 
Raspberry Pi, I compile it fine, but when I test on RPi I get this result:

\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[33mCID: 0x001b534d 0x30303030 0x3010b1fb 
0xc7bd008a\0x1b[0m

[init -> sd_card_drv] \0x1b[33mRCA: 0x0002\0x1b[0m

[init -> sd_card_drv] \0x1b[33mSD card detected\0x1b[0m

[init -> sd_card_drv] \0x1b[33mcapacity: 1107296256 MiB\0x1b[0m

[init -> test-blk-cli] \0x1b[31mCould not open ROM session for module 
"config"\0x1b[0m

[init -> test-blk-cli] \0x1b[31mCould not obtain config file\0x1b[0m

[init -> test-blk-cli] \0x1b[32mPaso el segundo bloque\0x1b[0m

[init -> test-blk-cli] \0x1b[32mblock device with block size 512 sector 
count 0 (testing 0 sectors)\0x1b[0m

[init -> sd_card_drv] \0x1b[33mCID: 0x001b534d 0x30303030 0x3010b1fb 
0xc7bd008a\0x1b[0m

[init -> sd_card_drv] \0x1b[33mRCA: 0x0002\0x1b[0m

\0x1b[32mpor aqui\0x1b[0m

\0x1b[31munavailable interrupt requested\0x1b[0m

[init -> sd_card_drv] void* abort(): \0x1b[33mabort called\0x1b[0m


I'm using a SD Card of 1GB of capacity and Genode 15.05. Someone can 
help me please.

Best regards, waldo
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.genode.org/pipermail/users/attachments/20150611/ce815397/attachment.html>