/branches/fs/kernel/generic/src/main/kinit.c |
---|
179,9 → 179,9 |
} else { |
int rd = init_rd((rd_header *) init.tasks[i].addr, |
init.tasks[i].size); |
if (rd != RE_OK) |
printf("Init binary %zd not used.\n", i); |
printf("Init binary %zd not used, error code %d.\n", i, rd); |
} |
} |