/branches/dynload/kernel/generic/src/main/kinit.c |
---|
189,7 → 189,7 |
/* It was the program loader and was registered */ |
} else { |
/* RAM disk image */ |
int rd = init_rd((rd_header *) init.tasks[i].addr, |
int rd = init_rd((rd_header_t *) init.tasks[i].addr, |
init.tasks[i].size); |
if (rd != RE_OK) |