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