90
90
for (i = 0; i < init.cnt; i++) {
91
91
init.binaries[i].addr = (uintptr_t) bootinfo->binaries[i].addr;
92
92
init.binaries[i].size = bootinfo->binaries[i].size;
93
94
str_cpy(init.binaries[i].name, CONFIG_BINARY_NAME_BUFLEN,
94
95
bootinfo->binaries[i].name);