65
65
for (i = 0; i < init.cnt; i++) {
66
66
init.binaries[i].addr = (uintptr_t) bootinfo->taskmap.binaries[i].addr;
67
67
init.binaries[i].size = bootinfo->taskmap.binaries[i].size;
68
69
str_cpy(init.binaries[i].name, CONFIG_BINARY_NAME_BUFLEN,
69
70
bootinfo->taskmap.binaries[i].name);