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